Y - Stp

T. ENGLUND · ALGORITMER FÖR SYNTAXANALYS · 2004
Logikprogrammering II
Logikprogrammering II
Tomas Englund
Institutionen för lingvistik och filologi
1

T. ENGLUND · ALGORITMER FÖR SYNTAXANALYS · 2004
Inledning
Kursen kommer att ges av Mats Dahllöf och Tomas Englund.
Undervisningen kommer att best˚a av en rad föreläsningar samt
laborationer. Examination sker genom inlämning av
laborationer.
2

T. ENGLUND · ALGORITMER FÖR SYNTAXANALYS · 2004
Repetition
• Ett Prologprogram utgörs av ett antal predikat.
• Ett predikat kan identifieras genom dess namn
(predikatsymbol) samt dess ställighet (arity,aritet).
Exempel: member/2. Med ställighet för ett predikat
menas hur m˚anga argument det tar.
• Ett predikat kan best˚a av en samling klausuler.
• Klausuler kan vara antingen regler eller fakta.
• En regel har ett huvud och en kropp, enligt huvud :kropp.
3

• Argument till klausuler (regler) kallas termer, termer kan
vara n˚agot av följande:
1. Atomer (lisa,lotta,pelle,kalle).
2. Variabler (X,Y,Ord)
3. Sammansatta termer. En sammansatt term best˚ar av en
funktor samt en mängd argument (termer). np(en,katt).
4

T. ENGLUND · ALGORITMER FÖR SYNTAXANALYS · 2004
Mer repetition
• Ett predikat anropas med ett m˚al
• Ett m˚al kan lyckas, misslyckas eller kanske inte terminera.
• M˚al som lyckas binder oftast variabler.
• Ett m˚al som misslyckas binder aldrig variabler.
5

T. ENGLUND · ALGORITMER FÖR SYNTAXANALYS · 2004
Listor
• En lista kan inneh˚alla en godtycklig mängd element.
• En lista som inte inneh˚aller n˚agra element kallas tomma
listan. Representeras i Prolog enligt []
• Listor som inte är tomma har ett huvud och en svans.
Huvudet är det första elementet i listan och svansen en
lista med resten av elementen.
• Listor i Prolog representeras egentligen som: [a|[b|[c|[]]]]
eller .(a,.(b,.(c,[])))
Övning: skriv ett predikat equal length(+L1,+L2) som
6

är sant om listorna L1 och L2 är lika l˚anga.
7

T. ENGLUND · ALGORITMER FÖR SYNTAXANALYS · 2004
Covingtons rekommendationer
Ett urval, hela texten finns att ladda ner som PDF-dokument
fr˚an adressen
http://www.ai.uga.edu/ mc/plcoding.pdf.
• Alla predikat förutom hjälppredikat skall inledas med en
kommentar p˚a följande format:
%equal length(+L1,+L2)
%
% Programmet kontrollerar om tv˚a
listor är lika l˚anga
% Fler intressanta kommentarer...
Alla argument till ett predikat skall märkas enligt:
8

– +
Visar att argumentet skall instansierat vid anropet.
– -
Visar att argumentet skall vara oinstansierat vid
anropet.
– ?
Visar att argumentet kan men behöver inte vara
oinstansierat.
• Alla predikatnamn skall vara uttalbara.
• Använd inte namn som kan l˚ata likadana.
• Skriv predikatnamnen med gemener och separera ord med
understreck ( ).
9

• Identifiera hjälppredikat genom att lägga till n˚agot av
följande i slutet av dem:
– aux
– x
– xx
– ...
• Predikat vilka representerar egenskaper eller relationer
skall namnges med ett nomen.
• Predikat vilka skall tolkas procedurellt skall namnges med
en imperativ verbfras.
• Argument till ett predikat skall placeras i följande ordning:
10

1. indata
2. mellanresultat
3. slutresultat
• Placera dessutom argumenten i en logisk ordning, s˚a att de
passar med predikatnamnet.
• Använd beskrivande namn för predikat.
• För variabelnamn som best˚ar av flera ord konstruera
namnen s˚a att de olika orden börjar med en versal.
• För lokala variabler använd enkla tecken (e.g korta namn),
enligt:
– För heltal: I,J,K
11

– För listor: L,L1,L2
– För enstaka tecken: C,C1,C2
– För andra termer: A,B,C
– För huvuden i listor: H
– För svansar i listor: T
• Använd enstaka tecken för att representera det första
elementet i en lista och ett nomen i plural för svansen.
• Använd /* */ för att kommentera bort kod och % för att
kommentarer.
• Identera dina kommentarer s˚a att de blir mer lättlästa.
• För kod som kräver ohyggliga mängder kommentarer -
12

skriv om koden.
• Identera alla rader i ett predikat.
• Alla delm˚al skall skrivas p˚a en egen rad, förutom
relaterade par s˚a som write och nl.
• L˚at tv˚a predikat skiljas ˚at av tv˚a tomma rader.
• L˚at inga predikat bli längre än 25 rader om det g˚ar.
Förenkla!
13

T. ENGLUND · ALGORITMER FÖR SYNTAXANALYS · 2004
Repition av gamla laborationer
Laboration 1:
Givet en lista av riksdagsledamöter, deklarerade enligt:
riksdagsledamot(’Joe Frans’,man,s,’Stockholms
kommun’,25).
riksdagsledamot(’Ann-Marie
Fagerström’,kvinna,s,’Kalmar län’,13).
riksdagsledamot(’Barbro
Feltzing’,kvinna,mp,’Västra Götalands läns
norra’,233).
riksdagsledamot(’Eva
Flyborg’,kvinna,fp,’Göteborgs kommun’,205).
riksdagsledamot(’Kenneth G
14

Forslund’,man,s,’Västra Götalands läns
västra’,231).
riksdagsledamot(’Joe Frans’,man,s,’Stockholms
kommun’,25).
riksdagsledamot(’Sonja
Fransson’,kvinna,s,’Västra Götalands läns
södra’,244).
riksdagsledamot(’Mia
Franzén’,kvinna,fp,’Stockholms län’,67).
riksdagsledamot(’Lennart
Fremling’,man,fp,’Dalarnas län’,293).
riksdagsledamot(’Gustav
Fridolin’,man,mp,’Stockholms kommun’,29).
15

iksdagsledamot(’Helena Frisk’,kvinna,s,’Örebro
län’,271).
riksdagsledamot(’Reynoldh
Furustrand’,man,s,’Södermanlands län’,82).
16

T. ENGLUND · ALGORITMER FÖR SYNTAXANALYS · 2004
Fr˚agor - laboration 2
• Hur ta reda p˚a alla socialdemokratiska
F-riksdagsledamöter?
riksdagsledamot(Namn,Kon,s,
LanKommun,Plats).
• Hur ta reda p˚a alla partier som har b˚ade en kvinnlig och en
manlig ledamot?
riksdagsledamot(Namn1,man,Parti,
K1,Plats1),
riksdagsledamot(Namn2,kvinna,Parti,
K2,Plats2).
17

T. ENGLUND · ALGORITMER FÖR SYNTAXANALYS · 2004
Fr˚agor - laboration 3
Cartesisk produkt.
Givet tv˚a mängder av tecken vill vi skapa den Cartesiska
produkten (korsprodukten) för dem, enligt:
cartesisk produkt([a,b],[c,d],[par(a,b),
par(a,d),par(b,c),par(b,d)])
Hur göra?
18