Skip to main content
SpringerLink
Log in

Qualified answers and their application to transformation

  • Session 4b: Theory And Higher-Order Functions
  • Conference paper
  • First Online:
Third International Conference on Logic Programming (ICLP 1986)

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

Included in the following conference series:

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Burstall, R. and Darlington, J. “Transformation for developing recursive programs” J. ACM, Volume 24, No. 1, pp 44–67, 1975

    Google Scholar 

  2. Clark, K. “Negation as failure” Logic and Data Bases (Eds. Gallaire, H. and Minker, J.), Plenum Press, pp 293–322, 1978

    Google Scholar 

  3. Clark, K. and Darlington, J. “Algorithm classification through synthesis” Computer Journal, pp 61–65, 1980

    Google Scholar 

  4. Kowalski, R. “Logic for problem solving” North Holland Press, pp 227–228, 1979.

    Google Scholar 

  5. Sergot, M. “A query-the-user facility for logic programming” Integrated Interactive Computer Systems (Eds. Degano, P. and Sandwell, E.), North Holland Press, pp 27–41, 1983.

    Google Scholar 

  6. Takeuchi, A. and Furukawa, K. “Partial evaluation of PROLOG programs and its application to meta programming” Res. Rep., ICOT Research Centre, Tokyo, Japan, 1985.

    Google Scholar 

  7. Tamaki, H. and Sato, T. “Unfold/fold transformation of logic programs” Proceedings of ICLP, pp 127–138, 1984.

    Google Scholar 

  8. Venken, R. “A PROLOG meta-interpreter for partial evaluation and its application to source-to-source transformation and query optimisation” Proceedings of ECAI, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computing, Imperial College, London

    Phil Vasey

Authors
  1. Phil Vasey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ehud Shapiro

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vasey, P. (1986). Qualified answers and their application to transformation. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_92

Download citation

  • DOI: https://doi.org/10.1007/3-540-16492-8_92

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16492-0

  • Online ISBN: 978-3-540-39831-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation