2
Utilisation d'objectifs redondants dans les requêtes
(Sur la suggestion de @repeat ) Considérons une requête d'un programme pur 1 ?- G_0. Quelle utilité aurait le cas échéant la requête ?- G_0, G_0.? Notes de bas de page 1 Pas de dépôt (pour être sûr), les contraintes sont OK. Article précédent sur le sujet.