The SB-Prolog System, Version 2.3.2: A User Manual (1987)

by S K Debray