...).¹

CPU-time was measured on a HP 9000/780 machine running HP-UX 10.20.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... free).²

Since the author does not have Quintus Prolog, the following remarks are solely based on [6] and the plex documentation.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.