Back Prolog AN برولوغ Arabic Prolog AST Proloq dili Azerbaijani Prolog BAT-SMG Пралог (мова праграмавання) Byelorussian Пролог (език за програмиране) Bulgarian Prolog Catalan Prolog (programovací jazyk) Czech Prolog (programmeringssprog) Danish
 |
Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan. Tarkennus: Käytännössä lähteetön. |
| Prolog | |
|---|---|
| Paradigma | logiikkapohjainen |
| Julkaistu | 1972 |
| Kehittäjä | Alan Colmerauer |
| Merkittävimmät toteutukset | SWI-Prolog, SICStus, Scryer Prolog |
| Vaikuttanut | Erlang |
| Murteet | ISO Prolog, Edinburgh Prolog |
| Käyttöjärjestelmä | alustariippumaton |
| Uutisryhmä | comp.lang.prolog |
Prolog on tunnetuin logiikkapohjainen ohjelmointikieli.[1] Nimi Prolog on lyhenne ranskan kielen sanoista PROgrammation en LOGique, sananmukaisesti logiikkaohjelmointi. Kielen kehittivät vuonna 1972 Alan Colmerauer, Philippe Roussel ja Robert Kowalski vaihtoehdoksi LISPille.
Logiikkaohjelmointikielenä Prolog poikkeaa melkoisesti proseduraalisista "tavallisista" ohjelmointikielistä. Kielellä tehdyt ohjelmat muodostuvat käskyjen sijaan säännöistä ja kyselyistä. Kyselyllä pyritään selvittämään, pystytäänkö se johtamaan säännöistä käsin.[2]
- ↑ Programming Languages University of Waikako, Department of Computer Science. 2010-4-23. Arkistoitu 29.6.2011. Viitattu 16.4.2011.
- ↑ Henno, Jaak: Prolog ja Olympoksen jumalat. WSOY, 1991. ISBN 951-0-16963-3