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