This is a complete prolog metainterpreter, meaning it executes all possible programs, including those with cuts and builtins. It is correct and infinetly meta-circular, both proven mathematically. My solution manages choice points with SWI-Prolog Hackers Corner predicates, more especifically with the implementation of ancestral cuts.
-
Couldn't load subscription status.
- Fork 0
Complete, Correct and Infinite Meta-Circular Prolog metainterpreter that cuts and executes all builtins as desired. This research was developed by my professor José de Siqueira and I at UFMG. Under Publication Process at Theory and Practice of Logic Programming, Cambridge University Press.
Couldn't load subscription status.
gabe-rbo/Prolog-Meta-Interpreter
About
Complete, Correct and Infinite Meta-Circular Prolog metainterpreter that cuts and executes all builtins as desired. This research was developed by my professor José de Siqueira and I at UFMG. Under Publication Process at Theory and Practice of Logic Programming, Cambridge University Press.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published