GNU Prolog (64-bit) 1.4.3

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....