Programming in PROLOG by William F. Clocksin | Menrva Books | MenrvaBooks