GNU Prolog (64-bit) 1.4.3

GNU Prolog é um compilador Prolog livre com restrição de resolução sobre domínios finitos. GNU Prolog aceita Prolog com programas de restrição e produz binários nativos (como gcc faz a partir de uma fonte de C). O executável obtido é então stand-alone. O...