Resultados da pesquisa a pedido "gnu-prolog"
Prolog: como fazer "check (a ++ b ++ c ++ d é igual a d ++ a ++ c ++ b) -> yes"
Vamos definir operadores personalizados - seja ele++,equals :- op(900, yfx, equals). :- op(800, xfy, ++).E fato: check(A equals A).Eu tento fazer predicado, que sejacheck/1, que retornará verdadeiro em todas as seguintes situações: check( a ...
amadas de compatibilidade @Prolog - bibliotecas de programação disponíveis
Há uma falta de alguns predicados nas implementações de um Prolog, disponíveis em outro Podemos implementar falta de predicados, vamos chamar isso de "Camada de compatibilidade de prólogo" Você conhece "Camadas de compatibilidade do Prolog" ...
gprolog: Obter um stacktrace após uma exceção
Enquanto estiver usando gprolog Muitas vezes tenho exceções sem nenhum tipo de número de linha ou contexto como este: uncaught exception: error(instantiation_error,(is)/2)Sem qualquer tipo de contexto. Eu sei que posso fazer umtrace mas levaria ...