NU-Prolog reference manual, version 1.3 (1988)

by J A Thom, J A Zobel