Prolog PROgramming LOGic (programmation en logique)

En presentation över ämnet: "Prolog PROgramming LOGic (programmation en logique)"— Presentationens avskrift:

1 Prolog PROgramming LOGic (programmation en logique)

2 Programspråktteori - Mikael Åkesson - 20092 Introduktion Prolog är ett logikspråk Utvecklat av Alain Colmerauer, Phillippe Roussel och Robert Kowalski Första kommandotolken 1972 Prolog är ett regelbaserat, deklarativt språk Ett huvudmål var hantering av naturligt språk Stöd för GUI

3 Programspråktteori - Mikael Åkesson - 20093 Beskrivning av Prolog (1) Prologprogram är en samling uttryck En datatyp: Term Atom Nummer Variabel Sammansatt term

4 Programspråktteori - Mikael Åkesson - 20094 Beskrivning av Prolog (2) Typer av uttryck Fakta Regler Frågor ställs till programmet som mål Kan programmet bevisa mål -> Yes Iterativa algoritmer görs med rekursion

5 Programspråktteori - Mikael Åkesson - 20095 Utvärdering av Prolog (1) Läslighet Enkelhet: Prolog har få operatorer Ortogonalitet: Regelbundet och få datatyper Kontrollkommandon: Dåligt Datastrukturer: Få, lätt att göra listor Syntaxdesign: Beskrivande specialord men inte som folk är vana vid

6 Programspråktteori - Mikael Åkesson - 20096 Utvärdering av Prolog (2) Skrivbarhet Enkelhet och ortogonalitet: Ja och nja Stöd för abstraktion: Uttryck: Ganska enkla dock ovana

7 Programspråktteori - Mikael Åkesson - 20097 Utvärdering av Prolog (3) Pålitlighet Typkontroll: Finns bara termer Undantagshantering: Oändlig loop Alias: Nej Läslighet och skrivbarhet: Nja

8 Programspråktteori - Mikael Åkesson - 20098 Utvärdering av Prolog (4) Kostnad Andra faktorer Portabilitet: Ibland Generalisering: Nej Väl definierat: Ja

9 Programspråktteori - Mikael Åkesson - 20099 Slutsats Två saker emot Prolog och logikspråk Oeffektiva jämfört med imperativa språk Få riktigt bra tillämpningsområden

10 Programspråktteori - Mikael Åkesson - 200910 OO-Prolog Prolog++ Visual Prolog P# Java och Prologbroar utvecklas