The Transparent Prolog Machine: Visualizing Logic Problems
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.
Other editions - View all
algorithm allows the user altematives AND/OR tree AORTA diagram appear arguments arity Artificial Intelligence backtracking bike blke(X Bundy Chapter clause branches clause head clause status box conjunct bars current clause database debugging decode Definite Clause Grammars depicts display Eisenstadt example execution snapshot execution space execution tree executlon expert system failure final snapshot full zoom fun(my_blke fun(X functor g3 clause ghost status box goal status graphical tracer Higher-order predicates implementation indicate instantiated invocation itseif KlLL Logic Programming lozenge match modules mouse cursor MOUSE LEFT MOUSE RlGHT node zoom notation options procedure status box Prolog execution Prolog programs Prolog-2 query Quick Zoom red(my_blke red(X redo replay facility retried retum search_db second clause SET SCALE setof show_code shown in Figure square-in-square subgoai succeeded succeeds success symbols syntax-directed editor system predicates tick TPM’s undemeath University of Edinburgh variable viewport window zoom view