Proedit — a screen oriented Prolog programming environment

  • M. Numao
  • H. Maruyama
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)


A screen oriented programming environment for Prolog was designed and implemented. To visualize the control flow of the execution of a Prolog program, A new execution model is proposed, which is based on the box model, but has been extended so that control flow between subgoals is displayed over time. It is written for VM/Prolog which runs under the VM/CMS operating system. The system is actually being used by researchers in IBM laboratories.


Sample Program Tree Representation Execution Model Variable Binding Prolog Program 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Alberga C, et al. (1981) A Program Development Tool. 8th Annual ACM Symposium on Principles of Programming LanguagesGoogle Scholar
  2. Clocksin WI, Mellish CS (1981) Programming in Prology. Springer-VerlagGoogle Scholar
  3. Mikelsons M (1982) Interactive Program Execution in LISPEDIT. ACM SIGPLAN/SIGSOFT, Symposium on High Level DebuggingGoogle Scholar
  4. Numao M, Fujisaki T (1985) Visual Debugger for Prolog, The Second Conference on Artificial Intelligence Applications. IEEEGoogle Scholar
  5. Pereira LM (1984) Rational Debugging of Logic Programs. Department de Informatica, Universiade Nova de LisboaGoogle Scholar
  6. Shapiro EY (1983) Algorithmic Program Debugging. MIT pressGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • M. Numao
    • 1
  • H. Maruyama
    • 1
  1. 1.Science InstituteIBM Japan Ltd.TokyoJapan

Personalised recommendations