Prolog applications - Schmitter, E. D. (ELCOMP Computers, 1987)