Presentation laddar. Vänta.

Presentation laddar. Vänta.

Prolog PROgramming LOGic (programmation en logique)

Liknande presentationer


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

1 Prolog PROgramming LOGic (programmation en logique)

2 Programspråktteori - Mikael Åkesson 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 Beskrivning av Prolog (1) Prologprogram är en samling uttryck En datatyp: Term Atom Nummer Variabel Sammansatt term

4 Programspråktteori - Mikael Åkesson 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 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 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 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 Utvärdering av Prolog (4) Kostnad Andra faktorer Portabilitet: Ibland Generalisering: Nej Väl definierat: Ja

9 Programspråktteori - Mikael Åkesson 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 OO-Prolog Prolog++ Visual Prolog P# Java och Prologbroar utvecklas


Ladda ner ppt "Prolog PROgramming LOGic (programmation en logique)"

Liknande presentationer


Google-annonser