- ...).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.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.