Programming in Prolog, Using the Iso Standard - Clocksin, William F. (Springer, 2003)
Keywords: Computer Science