Resultados de la búsqueda a petición "gnu-prolog"

2 la respuesta

gprolog: Obteniendo un stacktrace después de una excepción

Durante el uso gprolog A menudo tengo excepciones sin ningún tipo de números de línea o contexto como este: uncaught exception: error(instantiation_error,(is)/2)Sin ningún tipo de contexto. Sé que puedo hacer untrace pero llevaría mucho tiempo ...

2 la respuesta

Prolog: cómo hacer "comprobar (a ++ b ++ c ++ d es igual a d ++ a ++ c ++ b) -> sí"

Definamos operadores personalizados: déjelo ser++,equals :- op(900, yfx, equals). :- op(800, xfy, ++).Y hecho: check(A equals A). Intento hacer un predicado, déjalo sercheck/1, eso volverá verdadero en todas las siguientes situaciones: check( ...

1 la respuesta

Capas de compatibilidad de Prolog - bibliotecas de programación disponibles

Faltan algunos predicados en una implementación de Prolog, que están disponibles en otras. Podemos implementar predicados que faltan, llamemos a esto "Capa de compatibilidad de Prolog". ¿Conoce "Capas de compatibilidad de Prolog" para Prolog ...