Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
A Prolog Program for Bottom-up Evaluation
David S. Warren
This short paper describes a simple and intuitive Prolog program, a metainterpreter, that computes the bottom up meaning of a simple positive Horn clause definition. It involves a…
cs.PL2024
The Semantics of Metapropramming in Prolog
David S. Warren
This paper describes a semantics for pure Prolog programs with negation that provides meaning to metaprograms. Metaprograms are programs that construct and use data structures as p…