Prolog Programming in DepthMichael A. Covington, Donald Nute, Andre Vellino · First published 1996Open the Tome