Book

Symbolic computing with Lisp and Prolog

by Mueller, Robert A.