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. À quoi servirait la requête, le cas échéant ?- G_0, G_0. avoir?
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.
Considérons une requête d'un pur programme1? - G_0. À quoi servirait la requête, le cas échéant? - G_0, G_0. avoir?
Je ne vois aucune utilité du deuxième objectif, surtout quand optimisation de la récursivité de la queue (optimisation du dernier appel) est SUR .
Je pourrais réaliser un problème GC (dépassement de pile/tas) lorsque la requête est gourmande en ressources et que les options ci-dessus sont OFF (par exemple lors du débogage).
Je pense que le deuxième appel est redondant (pour le programme pur) et devrait être éliminé par le compilateur.