Deve ter Intérpretes e compiladores Para Daniel Diaz
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...
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...
