Prolog by Example (1988)

by H Coelho, J C Cotta