Prolog
21854
22658157
1972
ISO Prolog, Edinburgh Prolog
A Prolog egy programozási nyelv, melyet fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique kifejezés rövidítése. Az első tekinthető. A Prolog egy megadott logikai (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. Utóbbi formulák és a célformula a program bemenete, a kimenet pedig a válasz, hogy következik-e a célformula a többi formulából. Röviddel Colmauer után is kifejlesztett egy Prolog interpretert Magyarországon.
35261