NU-Prolog reference manual (1986)

by J Thom, J Zobel