AORTA Diagrams As An Aid To Visualising The Execution Of Prolog Programs1 (original) (raw)
Related papers
AORTA Diagrams As An Aid To Visualising The Execution Of Prolog Programs
A fine-grained account of Prolog execution for teaching and debugging
Instructional Science, 1990
Interim report on the Visualisation of Prolog execution in three dimensions
2009
Two-dimensional visual programming and three-dimensional execution visualisation in Prolog
Real World Visualisation-Virtual World-Virtual …, 1991
Logichart — Intelligible Program Diagram for Prolog and its Processing System
Electronic Notes in Theoretical Computer Science, 2000
The Journal of Logic Programming, 1988
Graphical Debugging with the Transparent PROLOG Machine (TPM)
International Joint Conference on Artificial Intelligence, 1987
Visual Metaphors for Understanding Logic Program Execution
From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog
Declarative Debugging with The Transparent Prolog Machine (TPM)
MOGUL: A Graphical Environment for Developing the LOGFLOW Parallel Prolog System
1997
An architecture for visualizing the execution of parallel logic programs
Proceedings of the International Joint Conference in …
The multipath architecture for prolog programs
Computer Journal, 1996
Compositional operational semantics for Prolog programs
New Generation Computing, 1992
Some Paradigms for Visualizing Parallel Execution of Logic Programs
1993
Kahina, a debugging framework for logic programs and TRALE
K. Evang, Frank Richter, Johannes Dellert
2010
Comparison of Contrasting Prolog Trace Output Formats
Interfacing Prolog and VRML and its Application to Constraint Visualization
1999
A Visual Notation for Declarative Behaviour Specification
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
Logic Programming New Frontiers, 1992
Pressing for parallelism: a PROLOG program made Concurrent
The Journal of Logic Programming, 1986
An overview of Prolog debugging tools
Instructional Science, 1991
A Visual Formalism for Computational Tree Logic
Journal of Visual Languages & Computing, 1999
The design and implementation of a two process Prolog debugger
1989
Programming tools for Prolog environments
1986
Complete and efficient methods for supporting side-effects and cuts in And-Or parallel Prolog
… , 1992. Proceedings of the Fourth IEEE …, 1992
Cuts And Side-Effects In And-Or Parallel Prolog
1993
An Environment for Combining Prolog Programs
1996
Combining depth-first and breadth-first search in Prolog execution
Design and simulation of a sequential Prolog machine
New Generation Computing, 1985
And-Or Parallel Prolog: A Recomputation Based Approach
New Generation Computing, 1993