2 citations · 6 across the 16 of their papers we have counts for
4 papers · 1 filter
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…
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…
Matrix Code
M. H. van Emden
Matrix Code gives imperative programming a mathematical semantics and heuristic power comparable in quality to functional and logic programming. A program in Matrix Code is develop…
Integrating Interval Constraints into Logic Programming
M. H. van Emden
The CLP scheme uses Horn clauses and SLD resolution to generate multiple constraint satisfaction problems (CSPs). The possible CSPs include rational trees (giving Prolog) and numer…