Skip to main content
SpringerLink
Log in

Directions for Logic Programming

  • Conference paper
Wissensbasierte Systeme

Part of the book series: Informatik — Fachberichte ((2252,volume 155))

Abstract

As a first approximation logic programming, is the observation that procedures = Horn clauses + backward reasoning.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hayes P.J. (1973), Computation and Deduction. Proc. 2nd MFCS Symp. Czechoslovak Academy of Sciences, pp 559–565.

    Google Scholar 

  2. Kowalski R.A. (1979) Algorithm = Logic + Control. CACM, August 1979. Vol. 22 pp. 424–436.

    MATH  Google Scholar 

  3. Clark K.L., and Sickel S.,(Aug. 1977 ) Predicate Logic: A Calculus for Deriving Programs, Proceedings of the Fifth International Joint Conference on Artificial Intelligence, Cambridge, Massachusetts, pp. 419–420.

    Google Scholar 

  4. Clark K.L., Darlington J., Algorithm Classification Through Synthesis, The Computer Journal 1980, Vol. 23, No. 1, pp. 61–65.

    Article  MathSciNet  MATH  Google Scholar 

  5. Clark K.L., (1981) The Synthesis and Verification of Logic Programs, Technical Report 81–36, Imperial College, London, 1981.

    Google Scholar 

  6. Clark K.L., McKeeman W.M., Sickel S., (1982), Logic Program Specification of Numerical Integration. In Logic Programming (eds. Clark K.L. and Tarnlund S-A.), Academic Press, pp. 123–140.

    Google Scholar 

  7. Hogger C.J., (1978) Goal-Oriented Derivation of Logic Programs, Proceedings of Mathematical Foundations of Computer Science, Lecture Notes in Computer Science No. 64.

    Google Scholar 

  8. Hogger C.J., (April 1981) Derivation of Logic Programs, Journal of the ACM Vol. 28,pp. 372–392.

    Article  MathSciNet  MATH  Google Scholar 

  9. Hogger C.J., (1984) Introduction to Logic Programming. Academic Press.

    MATH  Google Scholar 

  10. Kowalski R.A., (1984) The Relationship Between Logic Programming and Logic Specification. Proc. Royal Society Discussion Meeting, February 1984. In Mathematical Logic and Programming Languages (eds. C.A.R. Hoare and J.C. Shepherdson) Prentice Hall International.

    Google Scholar 

  11. Clark K.L., (1978) Negation as failure. In Logic and Databases, (eds. Gallaire H. and Minker J. ), Plenum Press, New York, pp 293–322.

    Google Scholar 

  12. Lloyd J.W., Topor R.W., (1984) Making Prolog More Expressive. Journal of Logic Programming Vol 1. No. 3, pp 225–240.

    Article  MathSciNet  MATH  Google Scholar 

  13. Warren D.H.D., (1982) Higher-Order Extensions to Prolog: Are They Needed? Machine Intelligence, 1982.

    Google Scholar 

  14. Clark K.L., McCabe F.G., (1980) IC-PROLOG Aspects of its Implementation. In Proceedings of Logic Programming workshop, Debrecen, Hungary.

    Google Scholar 

  15. Clark K.L., McCabe F.G., (1979) The Control Facilities of IC-PROLOG. In Expert Systems in the Micro-Electronic Age (ed. Michie D ), Edinburgh University Press, pp. 153–167.

    Google Scholar 

  16. Clark K.L., McCabe F.G., Gregory S., (1982) IC-PROLOG Language Features. In Logic Programming, Clark and Tarnlund, Academic Press, 1982, pp. 253–266.

    Google Scholar 

  17. Clark K.L., Gregory S., (Oct.1981) A relational language for parallel programming. Proceedings of ACM Conference on Functional Programming Languages and Computer Architecture, New York, pp. 171–178.

    Google Scholar 

  18. Cark K.L., Gregory S., (Nov.1984) Notes on Systems Programming in Parlog. Proceedings of International Conference on 5th Generation Computer Systems, Tokyo, Nov. 1984. North- Holland.

    Google Scholar 

  19. Shapiro E.Y., (Jan. 1984 ) Systems Programming in Concurrent Prolog, POPL, Salt Lake City, Utah.

    Google Scholar 

  20. Shapiro E.Y., Takeuchi A.,(1983) Object Oriented Programming in Concurrent Prolog, New Generation Computing 1, Springer Verlag.

    Google Scholar 

  21. Shapiro E.Y. (Jan.1983) A Subset of Concurrent Prolog and Its Interpreter, Technical Report TR-003, ICOT — Institute for New Generation Computer Technology, Tokyo, Japan.

    Google Scholar 

  22. Kowalski R.A., (1981) Prolog as a Logic Programming Lanuage. Proceedings of AICA Congress, Pavia, Italy.

    Google Scholar 

  23. Kowalski R.A., (1983) Logic Programming, Proceedings of the IFIP-83 Congress, North-Holland, Amsterdam, pp. 133–145.

    Google Scholar 

  24. Sergot M.J., (1983) A Query-The-User Facility for Logic Programs, in Integrated Interactive Computer Systems, Degano P., and Sandwell E., (eds.), North-Holland, 1983. Also published in New Horizons in Educational Computing, Yazdani M. (ed.), Ellis Horwood, 1984, pp. 145–163.

    Google Scholar 

  25. Kowalski R.A., (1979) Logic for Problem Solving, North- Holland/Elsevier, New York.

    MATH  Google Scholar 

  26. Kowalski R.A., (1974) A Proof Procedure Using Connection Graphs. In Journal of ACM Vol 22, pp. 572–595.

    Google Scholar 

  27. Kowalski R.A., Sergot M.J., (March 1985) A Logic Based Calculus of Events. Department of Computing, Imperial College, London.

    Google Scholar 

  28. Clark K.L., Gregory S., (1985) PARLOG: parallel programming in logic. To appear in ACM Trans, on Programming Languages and Systems.

    Google Scholar 

  29. Ueda K., (1985) Guarded Horn Clauses. Technical Report TR-103, ICOT.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College of Science and Technology, 180 Queen’s Gate, London, SW7 2BZ, UK

    Robert Kowalski

Authors
  1. Robert Kowalski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, TU München, Arcisstraße 21, 8000, München 2, Deutschland

    W. Brauer

  2. FB Informatik, Universität des Saarlandes, Im Stadtwald 15, 6600, Saarbrücken 11, Deutschland

    W. Wahlster

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kowalski, R. (1987). Directions for Logic Programming. In: Brauer, W., Wahlster, W. (eds) Wissensbasierte Systeme. Informatik — Fachberichte, vol 155. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88719-2_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-88719-2_12

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-88719-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation