The transparent Prolog machine : visualizing logic programs

Author(s)

Bibliographic Information

The transparent Prolog machine : visualizing logic programs

Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine

Intellect , Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, 1991

  • : Intellect
  • : KAP

Available at  / 5 libraries

Search this Book/Journal

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"

Details

Page Top