http://dbpedia.org/ontology/abstract
|
A Prolog egy programozási nyelv, melyet fe … 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.tt egy Prolog interpretert Magyarországon.
|
http://hu.dbpedia.org/property/megvalósítások
|
BProlog, Ciao, ECLiPSe, GNU Prolog, Jekejeke Prolog, Logic Programming Associates, Poplog Prolog, P#, Quintus, SICStus, Strawberry, SWI-Prolog, tuProlog, XSB, YAP-Prolog
|