Advertisement

Abstract

The very terminology "logic programming" tends to reinforce the view that logic is another, albeit very important, tool to further the ends of the software engineer. This perhaps has distracted attention from the more revolutionary potential of logic to alter the nature of software engineering altogether. In a small and preliminary way, new applications such as those illustrated in this paper may give an indication of the longer terms possibilities.

Keywords

Logic Program Knowledge Representation Logic Programming Horn Clause Situation Calculus 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    British Nationality Act 1981. Chapter 61. Her Majesty's Stationary Office, London.Google Scholar
  2. [2]
    Bowen, K. and Kowalski, R. A. (1982). Amalgamating language and metalanguage in Logic Programming. In "Logic Programming" (Eds. Clark, K. L. and Tarnlund, S.-A. Academic Press, London, New York.Google Scholar
  3. [3]
    Clark, K. L. and Gregory, S. (1981). A relational language for parallel programming. In "Functional Programming Languages and Computer Architecture". ACM, New York.Google Scholar
  4. [4]
    Clark, K. L. and McCabe, F. (1984). Micro Prolog: Programming in Logic. Prentice Hall International, Englewood Cliffs, N. J.Google Scholar
  5. [5]
    Cory, H. T., Hammond, P., Kowalski, R. A., Kriwaczek, F., Sadri, F. and Sergot, M. (1984). The British Nationality Act as a Logic Program. Dept. of Computing, Imperial College, London.Google Scholar
  6. [6]
    DeMarco, T. (1979). Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs, N. J.Google Scholar
  7. [7]
    van Emden, M. H. and deLucena Filho, G. J. (1982). Predicate Logic as a Language for Parallel Programming. In "Logic Programming" (Eds. Clark, K. L. and Tarnlund, S.-A.) Academic Press, London, New York.Google Scholar
  8. [8]
    Kahn, G. and McQueen, D. B. (1977). Coroutines and networks of parallel processes. Proc. IFIP 77.Google Scholar
  9. [9]
    Kowalski, R. A. (1979). Logic for Problem Solving. North Holland. Amsterdam, New York.Google Scholar
  10. [10]
    Kowalski, R. A. and Sergot, M. (1984). A Calculus of Events. Department of Computing, Imperial College, London.Google Scholar
  11. [11]
    Martin, J. (1982). Application Development without programmers. Prentice Hall, Englewood Cliffs, N. J.Google Scholar
  12. [12]
    McCarthy, J. and Hayes, P. J. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4, Edinburgh University Press, New York, (Meltzer, B. and Michie, D. Eds.), pp. 463–502.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • R. A. Kowalski
    • 1
  1. 1.Department of ComputingImperial College of Science and TechnologyLondon

Personalised recommendations