Clocksin, William F Programming in Prolog using the ISO Standard - 5th Ed. - N.Delhi Springer 1955 - 312 pp. ISBN: 9783540006787 Dewey Class. No.: 005.133