Búsqueda de consulta para la cual un programa de prólogo da resultado incorrecto.

Este programa Prolog define el tercer argumento para que sea el valor máximo de los dos primeros argumentos numéricos:

Procedimiento “O” en prólogo.

Estoy haciendo un programa de prólogo para la universidad que es un poco como el juego de cluedo. Tengo seis sospechosos con diferentes rasgos:

Prolog performance y tipo de recursión.

¿Cuál es el operador -> en Prolog y cómo puedo usarlo?

Intérprete / compilador integrado de Prolog para Java

Estoy trabajando en una aplicación en Java, que necesita hacer algunas deducciones de reglas lógicas complejas como parte de su funcionalidad. Me gustaría co...

Integrando Prolog con C # [cerrado]

¿Alguien sabe de una forma agradable (y preferiblemente gratuita) de integrar Prolog y C #?Estoy buscando crear una dll Prolog o similar para llamar desde mi...

¿Puedes escribir entre / 3 en prólogo puro?

He estado tratando de entender cómo producir una serie de valores a partir de un predicado de Prolog en backtracking. El predicado incorporado

Prólogo - ¿Cómo escribir todas las respuestas de prólogo al archivo .txt?

Cómo evitar el uso de Assert y Retractall en Prolog para implementar variables globales (o de estado)

A menudo termino escribiendo código en Prolog, que implica un cálculo aritmético (o información de estado importante en todo el programa), por medio de obten...

Significado de los indicadores de modo de instanciación en los argumentos de los predicados Prolog

En cuanto a la documentación de Prolog, las firmas de predicados a veces se escriben de la siguiente manera: