"Van Lee, T" Techniques of Prolog Programming - NEW YORK John Wiley & Sons Inc., 1993 - 601 ISBN: 047157175X Dewey Class. No.: 001.642 / 26