Preguntas etiquetadas con prolog-coroutining

1
Comportamiento inesperado de congelado / 2
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, …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.