"Programming in Prolog: Using The ISO Standard" von William F. Clocksin ist ein umfassendes Lehrbuch, das sich mit der Programmiersprache Prolog befasst und die ISO-Standardisierung dieser Sprache berücksichtigt. Das Buch richtet sich...