The Art of Prolog, Second Edition | The MIT Press