Indice
3 relazioni: ECLiPSe, GNU Prolog, Prolog.
ECLiPSe
ECLiPSe è un sistema software per lo sviluppo e l'implementazione di applicazioni di Constraint Programming, ad esempio nelle aree di ottimizzazione, pianificazione, trasporto ecc.
Vedere SWI-Prolog e ECLiPSe
GNU Prolog
GNU Prolog (chiamato anche gprolog) è un compilatore sviluppato dal progetto GNU con un ambiente interattivo di debugging per il Prolog, disponibile per Unix e Microsoft Windows.
Vedere SWI-Prolog e GNU Prolog
Prolog
Il Prolog (contrazione del francese PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica.
Vedere SWI-Prolog e Prolog

