2 citations · 6 across the 16 of their papers we have counts for
16 papers
Contributions to the compositional semantics of first-order predicate logic
Philip Kelly, M. H. van Emden
Henkin, Monk and Tarski gave a compositional semantics for first-order predicate logic. We extend this work by including function symbols in the language and by giving the denotati…
Logic programming beyond Prolog
M. H. van Emden
A logic program is an executable specification. For example, merge sort in pure Prolog is a logical formula, yet shows creditable performance on long linked lists. But such executa…
Programming in logic without Prolog
M. H. van Emden
Logic can be made useful for programming and for databases independently of logic programming. To be useful in this way, logic has to provide a mechanism for the definition of new…
Discovering Algorithms with Matrix Code
M. H. van Emden
In first-year programming courses it is often difficult to show students how an algorithm can be discovered. In this paper we present a program format that supports the development…
Relational Semantics for Databases and Predicate Calculus
Philip Kelly, M. H. van Emden
The relational data model requires a theory of relations in which tuples are not only many-sorted, but can also have indexes that are not necessarily numerical. In this paper we de…
Constraint Propagation as Information Maximization
A. Nait Abdallah, M. H. van Emden
This paper draws on diverse areas of computer science to develop a unified view of computation: (1) Optimization in operations research, where a numerical objective function is max…