Extending execution trees for debugging and animation in logic programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 528)
KeywordsLogic Program Logic Programming Program Execution Proof Tree Variable Binding
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
- D. Loyola, Animacion y Debuggin en Prolog, Internal Report ESLAI 1988Google Scholar
© Springer-Verlag Berlin Heidelberg 1991