...).1
CPU-time was measured on a HP 9000/780 machine running HP-UX 10.20.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... free).2
Since the author does not have Quintus Prolog, the following remarks are solely based on [6] and the plex documentation.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Noord G.J.M. van
1998-09-25