Trebuie să aibă Interpreți și compilatoare Pentru Daniel Diaz
GNU Prolog este un compilator gratuit Prolog cu constrângere rezolvarea peste domenii finite. GNU Prolog Prolog acceptă cu programele de constrângere și produce binare native (cum ar fi GCC nu de la o sursă C). Executabil obținut este apoi stand-alone....
GNU Prolog este un compilator gratuit Prolog cu constrângere rezolvarea peste domenii finite. GNU Prolog Prolog acceptă cu programele de constrângere și produce binare native (cum ar fi GCC nu de la o sursă C). Executabil obținut este apoi stand-alone....
