The transparent Prolog machine : visualizing logic programs
Author(s)
Bibliographic Information
The transparent Prolog machine : visualizing logic programs
Intellect , Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, 1991
- : Intellect
- : KAP
Available at / 5 libraries
-
Hiroshima University Central Library, Interlibrary Loan
: Intellect007.64:E-39/HL1030001000401750
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 165-167) and index
Description and Table of Contents
- Volume
-
: KAP ISBN 9780792314479
Description
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.
- Volume
-
: Intellect ISBN 9781871516142
Description
This book explains a new approach to debugging Prolog programs and to teaching the Prolog language. TPM's style of graphical representation (AORTA diagrams) is widely accepted as the best graphical visualization of Prolog execution. TPM was developed at the Open University in collaboration with Expert Systems International. The widely accepted presentation is used in the TPM software and also in the Open University teaching materials for Prolog. This book gives both the theory behind the TPM graphical debugger and a detailed account of its operation, including worked examples, code abstractions and a tutorial.
by "Nielsen BookData"