Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Denotational and operational semantics for Prolog
Journal of Logic Programming
Declarative modeling of the operational behavior of logic languages
Theoretical Computer Science
Handbook of theoretical computer science (vol. B)
Semantics preserving transformation rules for Prolog
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Proving termination properties of Prolog programs: a semantic approach
Journal of Logic Programming
A general framework for semantics-based bottom-up abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Bottom-up abstract interpretation of logic programs
Theoretical Computer Science
Mixtus: an automatic partial evaluator for full Prolog
New Generation Computing
A compositional semantics for logic programs
FGCS'921 Selected papers of the conference on Fifth generation computer systems
Theories for mutagenicity: a study in first-order and feature-based induction
Artificial Intelligence - Special volume on empirical methods
Compositionality properties of SLD-derivations
Theoretical Computer Science
Program specialisation and abstract interpretation reconciled
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Static Analysis of Prolog with Cut
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Logic Program Specialisation: How To Be More Specific
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
A Framework for Bottom Up Specialisation of Logic Programs
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Partial Evaluation of the "Real Thing"
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
| Hi-index | 0.00 |
In this paper, we develop a bottom-up fixed point semantics for pure Prolog programs extended with !/0 that allows to reconstruct the operational semantics of a particular goal. Our semantics captures both the order in which solutions are computed by SLD-resolution and their multiplicity.