Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A higher-order logic as the basis for logic programming
A higher-order logic as the basis for logic programming
HiLog as a platform for database languages
Data Engineering
Journal of the ACM (JACM)
Handbook of theoretical computer science (vol. B)
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Handbook of logic in computer science (vol. 3)
Extensionality of simply typed logic programs
Proceedings of the 1999 international conference on Logic programming
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Higher-Order Logic Programming
Proceedings of the Third International Conference on Logic Programming
An Improved Extensionality Criterion for Higher-Order Logic Programs
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
We propose a purely extensional semantics for higher-order logic programming. In this semantics program predicates denote sets of ordered tuples, and two predicates are equal iff they are equal as sets. Moreover, every program has a unique minimum Herbrand model which is the greatest lower bound of all Herbrand models of the program and the least fixed-point of an immediate consequence operator. We also propose an SLD-resolution proof system which is proven sound and complete with respect to the minimum Herbrand model semantics. In other words, we provide a purely extensional theoretical framework for higher-order logic programming which generalizes the familiar theory of classical (first-order) logic programming.