Logic for knowledge representation
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.
KeywordsLogic Program Knowledge Representation Logic Programming Horn Clause Situation Calculus
Unable to display preview. Download preview PDF.
- British Nationality Act 1981. Chapter 61. Her Majesty's Stationary Office, London.Google Scholar
- 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
- 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
- Clark, K. L. and McCabe, F. (1984). Micro Prolog: Programming in Logic. Prentice Hall International, Englewood Cliffs, N. J.Google Scholar
- 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
- DeMarco, T. (1979). Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs, N. J.Google Scholar
- 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
- Kahn, G. and McQueen, D. B. (1977). Coroutines and networks of parallel processes. Proc. IFIP 77.Google Scholar
- Kowalski, R. A. (1979). Logic for Problem Solving. North Holland. Amsterdam, New York.Google Scholar
- Kowalski, R. A. and Sergot, M. (1984). A Calculus of Events. Department of Computing, Imperial College, London.Google Scholar
- Martin, J. (1982). Application Development without programmers. Prentice Hall, Englewood Cliffs, N. J.Google Scholar
- 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