CS-Prolog rendszer
A Communicating Sequential Prolog (CS-Prolog) rendszer a hagyományos Prolog nyelv párhuzamos és szimulációs (diszkrét és folytonos) lehetőségekkel kiterjesztett változata, amely tetszőleges számú Prolog program párhuzamos végrehajtását biztosítja egy- és sokprocesszoros környezetben (egy processzoron szimulálja a párhuzamos végrehajtást). Az egyes Prolog programok futás közben üzeneteken keresztül kommunikálhatnak (szinkron és aszinkron kommunikáció). A szabvány szerinti (ISO/IEC 13211-1) teljes Prolog funkciótárt támogatja. Utolsó változata (1998) tartalmaz egy CLP (Constraint Logic Programming) és real-time események figyelését lehetővé tevő kiterjesztést is.
CS-Prolog
Alkalmazói szoftver > Mesterséges intelligencia
1986-1989 - CS-Prolog interpreter
1991-1998 - CS-Prolog compiler (CS-Prolog II)
(1987-1988)
(1988-1990, 1993-1998)
ALL (1991-1992)
(projektvezető)
Szeredi János
Pásztor Zoltán
Keresztély Mária
Boda Elena
Ferenczi Szabolcs
A 1986 és 1991 között kifejlesztett CS-Prolog rendszer interpreter alapú, két változatban készült el:
- Egyprocesszoros változat DOS alatt futó IBM AT/XT és azzal kopmpatibilis PC-re, amelynél korlátot jelentett, hogy csak a DOS konvencionális memóriáját (640K) használhatta. Ezért kibocsátottak egy DOS extenderes (DJGPP-vel lefordított) változatot is.
- Sokprocesszoros változat IBM AT/XT gazdagéppel (network host) vezérelt transputerekből álló hálózatra.
1995 és 1998 között készült el a compiler alapú CS-Prolog II rendszer, amely már Unix környezetekben (SunSolaris, Linux, FreeBSD) alkalmazható.
A CS-Prolog rendszer változatainak utolsó verziói a MULTILOGIC archivum-ból letölthetők.