Questions et réponses pour le prolog-abstract-interpretation :
Utilisez cette balise lorsque Prolog est utilisé pour créer un interprète abstrait. N'utilisez pas cette balise si pour un méta-interprète PROLUG ou pour l'interprète Abstract Abstract de balises nommé.
J'essaie de comprendre pourquoi les implémentations de prologs ne se comportent pas selon le modèle d'exécution dans les manuels de manuels - par exemple, celui du livre par S ...