This introductory textbook uniquely combines a beginning course in the logic programming language Prolog with a full PC implementation of the language on a free disk. As such it combines the demands made on a coursebook with the hands-on facilities required for self-study.; The book has a practical orientation, with step-by-step development of the key concepts contained in the language. It encourages students to implement all the examples provided...