| dbo:abstract
|
- 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. (hu)
- 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. (hu)
|
| prop-hu: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 (hu)
- BProlog, Ciao, ECLiPSe, GNU Prolog, Jekejeke Prolog, Logic Programming Associates, Poplog Prolog, P#, Quintus, SICStus, Strawberry, SWI-Prolog, tuProlog, XSB, YAP-Prolog (hu)
|
