Preguntas etiquetadas con prolog

Cerrado . Esta pregunta debe estar más enfocada . Actualmente no acepta respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un solo problema editando esta publicación . Cerrado hace 3 años . Mejora esta pregunta...

(Por sugerencia de @repeat ) Considere una consulta de un programa puro 1 ?- G_0. ¿De qué sirve si la consulta ?- G_0, G_0.tuviera alguna ? Notas al pie 1 Sin tabulación (para estar seguro), las restricciones están bien. Publicación anterior sobre el

Estaba jugando con los predicados de prolog-coroutiningfreeze/2 y frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (versión 4.5.1 para x86_64) dio estas respuestas: El | ? - congelar (X, a = a), congelar (X, Meta). Objetivo =...