Jocelyn Paine

The Logic Programming Tutor

Masoud Yazdani

Richard Broughton

Prometheus is an advanced programming environment for the development of knowledge-based software. It owes its comparative simplicity, consistency and power to the ideas of logic programming. Prometheus, while using logic as the basis of representation language, offers frames to allow for natural representation of structured domains. The book starts with a general Representation Language and the Development Environment. It ends with a study of how Prometheus and Prolog can be combined for advanced programming projects.

An Advanced Logic Based AI Toolkit

Prometheus

Marc Eisenstadt

Mike Brayshaw

The Transparent Prolog Machine (TPM) was one of the most successful products of the UK's Alvey programme. Developed at the Open University, UK, in collaboration with Expert Systems International, TPM is a new approach to debugging Prolog programs and to teaching the Prolog language. This book will be of particular value to Prolog programmers in Artificial Intelligence, Computer Scientists in AI, human-computer interaction and graphics researchers and practitioners. The style of graphical presentation developed within TPM (AORTA diagrams) is now used not only in TPM software but also in Open University teaching materials for Prolog; it is widely accepted as the best graphical visualization of Prolog execution. The book presents both the theory behind the TPM graphical debugger and a detailed account of its operation, including worked examples, code abstractions, and a tutorial.

Visualizing Logic Problems

The Transparent Prolog Machine

Jocelyn Paine

Books

Your next favorite book is out there