Domande taggate «prolog»

2
Uso di obiettivi ridondanti nelle query
(Su suggerimento di @repeat ) Si consideri una query di un programma puro 1 ?- G_0. Che utilità avrebbe avere la query ?- G_0, G_0.? Note a piè di pagina 1 Nessuna presentazione (per sicurezza), i vincoli sono OK. Post precedente sull'argomento.
1
Comportamento imprevisto di frozen / 2
Stavo giocando con i predicati del prologo-coroutiningfreeze/2 e frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (versione 4.5.1 per x86_64) ha dato queste risposte: | ? - Congela (X, a = a), congelata (X, Obiettivo). Obiettivo = prologo: blocco (X, utente: (a = a)) , prologo: congelare (X, …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.