Prolog
Wikipedia
Prolog*, ett programspråk för logikprogrammering. Prolog skiljer sig från de flesta andra programspråk i och med att det bygger på logiska uttryck och inte på instruktioner för datorn. Prolog används främst inom områdena artificiell intelligens och språkbehandling.
Att programmera i Prolog liknar inte riktigt program skrivna i programspråk som t.ex C, språket är uppbyggt så att man i sitt program definierar klausuler som returnerar sant eller falskt. Man ställer sedan frågor till systemet som med hjälp av de klausuler man definierat kan dra slutsatser och svara på frågor.
- En prolog kan även vara en synonym för förord i sammanhang med romaner.
[redigera] Datatyper
Prolog har inte några typer, den data som används är antingen obundna variabler, atomer med något värde, variabler bundna till atomer eller listor av de tidigare nämnda.
En lista används lätt som en stack då listans definition är ett huvud och en svans, det finns även ett specialfall av listor kallade differenslistor i vilka man även kan lagra obundna variabler och på så sätt få direkt åtkomst även till listans bakre element (om man t.ex vill implementera en kö där element skall läggas till slutet av listan).
[redigera] Exempel
Nedan följer ett exempel på prologkod som definierar och visar följande:
- Frukter är ätbara,
- päron är en frukt.
- Således är päron ätbara.
ätbar(X):-frukt(X). % man kan äta frukt. frukt(päron). % päron är en frukt.
Man kan därefter fråga prolog följande:
?- ätbar(päron). % kan man äta päron? yes
Baserat på vad man definierat kan Prolog dra slutsatsen att päron går att äta.
[redigera] Mer information
- Paul Brna, "Prolog programming - A first course"[1], fritt tillgänglig via WWW.
- Ivan Bratko, "PROLOG - Programming for Artificial Intelligence" (ISBN 0-201-40375-7).
