2 papers
cs.PL2011
Extensional Higher-Order Logic Programming
A. Charalambidis, K. Handjopoulos, P. Rondogiannis +1
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 t…
cs.LO2003
Minimum Model Semantics for Logic Programs with Negation-as-Failure
Panos Rondogiannis, William W. Wadge
We give a purely model-theoretic characterization of the semantics of logic programs with negation-as-failure allowed in clause bodies. In our semantics the meaning of a program is…