1 paper
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…