The Logic Programming Tutor (LPT) assumes no prior knowledge or experience of Prolog. The book is designed as a teaching tool to be used in conjunction with a computer program of the same name which is offered free of charge on disk . The LPT is essentially a user friendly front-end that can accept either Prolog or an English-like notation, and translate between one and the other. There is a built-in editor which can display sections from one of several...