Resultados da pesquisa a pedido "gnu-prolog"

2 a resposta

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

1 a resposta

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

2 a resposta

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