The Mu-Prolog 3.2db reference manual (1985)

by Lee Naish