| authors |
Dahl, Veronica |
| year |
1983 |
| title |
Logic Programming as a Representation of Knowledge |
| source |
IEEE Computer. IEEE Computer Society, October, 1983. vol. 16: pp. 106-110 : ill. includes bibliography |
| summary |
Logic has traditionally provided a firm conceptual framework for representing knowledge. As it can formally deal with the notion of logical consequence, the introduction of Prolog has made it possible to represent knowledge in terms of logic and also to expect appropriate inferences to be drawn from it automatically. This article illustrates and explores these ideas with respect to two central representational issues: problem solving knowledge and database knowledge. The technical aspects of both subjects have been covered elsewhere (Kowalski, R. Logic for problem solving, North- Holland pub. 1979 ; Dahl, V. on database system development through logic ACM Trans.vol.7/no.3/Mar.1982 pp.102). This explanation uses simple, nontechnical terms |
| keywords |
PROLOG, knowledge, representation, logic, programming, problem solving, database |
| series |
CADline |
| references |
Content-type: text/plain
|
| last changed |
1999/02/12 15:08 |
|
