Extending execution trees for debugging and animation in logic programming

  • Diego Loyola
System Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 528)


Logic 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.


  1. [1]
    D. Loyola, Animacion y Debuggin en Prolog, Internal Report ESLAI 1988Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Diego Loyola
    • 1
  1. 1.ESLAI Casilla de correo 1000, Correo centralBuenos AiresArgentina

Personalised recommendations