The Art of Prolog, second edn (1994)

by L Sterling