Domande taggate «logical-purity»

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