Concepts of logic programming and prolog | part of Algorithmic Program Debugging | MIT Press books | IEEE Xplore