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