The Transparent Prolog Machine: Visualizing Logic Problems

Front Cover
Intellect Books, 1991 - Computers - 176 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

introduction
3
A Working TPM Environment
33
Worked examples
42
Code abstractions
65
Conclusions
77
Overview
131
TPM Reference
147
Bibliography
165
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information