Skip to main content
SpringerLink
Log in

Combining Prolog Programs in a Techniques Editing System (Abstract)

  • Conference paper
Logic Program Synthesis and Transformation

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 32 Accesses

Abstract

Kirschenbaum et al. proposed in [KLS89] the stepwise enhancement methodology for constructing logic programs. This methodology encourages software reuse and standardisation and tools embodying it are easily implemented. Based upon this methodology, we have developed [VVVR93] a system to construct modular large-scale Prolog programs using a techniques editing system and program combination. This integrated environment allows users to:

  1. 1.

    build Prolog programs by means of a Prolog Techniques Editor (PTE);

  2. 2.

    combine the programs devised using the Prolog Techniques Editor into more complex ones by using the Composition system.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Marc Kirschenbaum, Arun Lakhotia, and Leon S. Sterling. Skele-tons and Techniques for Prolog Programming. Tr 89–170, Case Western Reserve University, 1989.

    Google Scholar 

  2. Hisao Tamaki and Taisuke Sato. Unfold/Fold Transformation of Logic Programs In Proceedings of the Second International Conference on Logic Programming,pages 127–138, Sweden, 1984.

    Google Scholar 

  3. Maria Vargas-Vera. Guidance during Program Composition in a Prolog Techniques Editor. PhD thesis, Department of Artificial Intelligence, Edinburgh University, 1993. In preparation.

    Google Scholar 

  4. Maria Vargas-Vera, Wamberto Vasconcelos, and Dave Robertson. Building Large-Scale Prolog Programs using a Techniques Editing System. Technical Report 635, Department of Artificial Intelligence, University of Edinburgh, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland, Great Britain

    María Vargas-Vera & Dave Robertson

  2. Human Communication Research Center, University of Edinburgh, Edinburgh, Scotland, Great Britain

    Robert Inder

Authors
  1. María Vargas-Vera
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dave Robertson
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Robert Inder
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Unité d’Informatique, Université Catholique de Louvain, Place Sainte-Barbe 2, B-1348, Louvain-la-Neuve, Belgium

    Yves Deville (Chair) (Chair)

Rights and permissions

Reprints and permissions

Copyright information

© 1994 British Computer Society

About this paper

Cite this paper

Vargas-Vera, M., Robertson, D., Inder, R. (1994). Combining Prolog Programs in a Techniques Editing System (Abstract). In: Deville, Y. (eds) Logic Program Synthesis and Transformation. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3234-9_8

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3234-9_8

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19864-2

  • Online ISBN: 978-1-4471-3234-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation