2 citations · 6 across the 16 of their papers we have counts for
4 papers · 1 filter
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…