The Transparent Prolog Machine: Visualizing Logic Programs

Front Cover
Springer Science & Business Media, Oct 31, 1991 - Computers - 196 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
The Transparent Prolog Machine underlying principles
7
22 AORTA diagrams
9
23 Compound term unification and large databases
16
backtracking and invocation histories
18
25 The cut
24
26 The longdistance view
27
A Working TPM Environment
33
76 Untraced predicates
98
77 Goal failure
101
78 Alternatives backtracking and failure
103
79 Execution space versus code space
105
710 Recursion
106
711 Display of facts
107
712 Backtracking and the choice stack
110
713 Redoing a goal
113

32 Postmortem vs live tracing modes
36
33 Selective highlighting
37
34 Replay
39
35 Zooming
40
Worked examples
42
42 Database manipulation showing Selective Highlighting and AORTA Threeply Close Up View
46
43 A SOLOtoProlog compiler showing Zooming and Replay
51
Code abstractions
65
51 Compression
66
ifthenelse
71
54 Definite Clause Grammars
72
Conclusions
77
A TPM TUTORIAL
79
Tutorial TPM and Prolog execution
81
72 Animating the display
88
73 Subgoals conjunctions and success
90
74 Returning to Prolog
94
75 System predicates
95
714 Ghosting
119
715 Zoom views and source listing
122
716 Cut
124
GUIDE FOR TPM USERS
129
Overview
131
82 Driving TPM
132
Setting spypoints
137
Technical information
140
TPM REFERENCE
145
TPM Reference
147
112 Mouse conventions Apollo
148
114 Options
149
115 Execution tree symbols
153
116 Special predicate symbols
156
117 Node zoom symbols
160
Bibliography
165
Index
168
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 166 - APT: A Principled Design for an Animated View of Program Execution for Novice Programmers.

Bibliographic information