Prolog
Wikipedia
Prolog on tunnetuin logiikkaohjelmointikieli. 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.
Prologia käytetään muun muassa tekoälysovelluksien tekemiseen. Prolog sai paljon mainetta 1980-luvulla kun se valittiin Japanissa kaavailtujen "viidennen sukupolven tietokoneiden" ohjelmointikieleksi. 1980-luvun lopulla se yleistyi myös harrastekäytössä kun Borland toi markkinoille Prologin PC-tietokoneisiin.
[muokkaa] Aiheesta muualla
- [1] Visual Prolog
[muokkaa] Kirjallisuutta
- W.F. Clocksin C.S. Mellish, Programming in Prolog, Springer-Verlag 1984, ISBN 3-540-15011-0
- Erkki Laitila, Visual Prolog perusteet, Teknolit, 1996, ISBN 952-9823-27-4
- Erkki Laitila, Teollisuuden sovellukset: Visual Prolog, Teknolit, 1996, ISBN 952-9823-51-7
ALGOL| BASIC| Modula-3 | MUMPS | Plankalkül | PL/I | Simula
|
Tuotantokäytössä: |
|
