The Practice of Prolog | MIT Press eBooks | IEEE Xplore