Prolog Programming In Depth door Donald Nute, Michael A. Covington & Andre Vellino