Skip to main content
SpringerLink
Log in

A system to visualize and interact with prolog programs

  • Conference paper
  • First Online:
Book cover Programming Language Implementation and Logic Programming (PLILP 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 844))

  • 267 Accesses

Abstract

We present a system for visualization and interaction with Prolog programs using a structural editing approach, that may be extended to other logic languages since it is based in concepts from the Logic Programming (LP) paradigm.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. R. Balk, G. Snelting, The PSG System: ¿ From Formal language Definitions to Interactive Programming Environments, ACM Transactions on Programming languages and Systems, Vol. 8, In 4, (1986:10), 557–608.

    Google Scholar 

  2. A. Jorge, Using EDIPO, Centro de Informática, Universidade do Porto, 1990.

    Google Scholar 

  3. S. Horwitz, T. Teitelbaum, Generating Editing Environments Based on Relations And Attributes ACM Transactions on Programming languages and Systems, Vol. 8, In 4, (1986:10), 557–608.

    Google Scholar 

  4. C. Hogger, Essentials of Logic Programming, Graduate Texts in Computer Science, Oxford University Press, 1990.

    Google Scholar 

  5. S. E. Hudson, Incremental Attribute Evaluation: The Flexible Algorithm for Lazy Update ACM Transactions on Programming languages and Systems, Vol. 13, No3, July 1991, 315–341.

    Google Scholar 

  6. J. P. Leal, The Ytoolkit: the Prolog approach to an users interface, ICLP Preconference Workshop on Logic Programming Environments, Eilat, Israel, 1990.

    Google Scholar 

  7. J. P. Leal, An History Based Interface, ICLP Preconference Workshop on Logic Programming Environments, Paris, 1991.

    Google Scholar 

  8. J. P. Leal, J. P. Santos, Towards the portable interface for Prolog applications — Reference Manual — X-Windows Interface, Centro de Informática da Universidade do Porto.

    Google Scholar 

  9. J. Maluszyńky, Attribute Grammars and Logic Programs: A Comparison of Concepts Lecture Notes in Computer Science, 545, Springer Verlag.

    Google Scholar 

  10. E. Yardeni, E. Shapiro, The Type system for Logic Programs Journal of Logic Programming, (1991:10), 125–153.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratório de Inteligência Artificial e Ciência de Computadores, R. do Campo Alegre, 823 / 4100, Porto, Portugal

    José Paulo Leal

Authors
  1. José Paulo Leal
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Manuel Hermenegildo Jaan Penjam

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Leal, J.P. (1994). A system to visualize and interact with prolog programs. In: Hermenegildo, M., Penjam, J. (eds) Programming Language Implementation and Logic Programming. PLILP 1994. Lecture Notes in Computer Science, vol 844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58402-1_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-58402-1_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58402-5

  • Online ISBN: 978-3-540-48695-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation