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 Cuando quiero leer sobre programación lógica, siempre me tropiezo con …

124 prolog  logic-programming  minikanren 

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

12 prolog  logical-purity 

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 = prólogo: congelar (X, usuario: (a = a)) , prólogo: congelar (X, …

11 prolog  sicstus-prolog  prolog-coroutining