论文信息 - Logic, Planning, and Computers: ProLog

Logic, Planning, and Computers: ProLog

This article serves two purposes. It is first an introduction, in planning terms, to the increasingly popular and radically different computer lan guage ProLog, which is used in the artificial intelligence applications of expert systems, natural language processing, and database querying. Secondly, it serves as a tutorial to ProLog, using examples drawn from planning.

Michael Peter Kennedy

[1] Fernando Pereira,et al. A fact dependency system for the logic programmer , 1983 .

[2] Ehud Shapiro,et al. A subset of Concurrent Prolog and its interpreter , 1988 .

[3] Keith L. Clark,et al. Micro-Prolog - programming in logic , 1984, Prentice Hall international series in computer science.

[4] John W. Roach,et al. A Prolog Simulation of Migration Decision Making in a Less Developed Country , 1982, ICLP.

[5] Verónica Dahl,et al. Translating Spanish Into Logic Through Logic , 1981, CL.

[6] Robert A. Kowalski,et al. Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[7] Alfred Horn,et al. On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.

[8] Verónica Dahl,et al. On database systems development through logic , 1982, TODS.

[9] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[10] Robert A. Kowalski,et al. Predicate Logic as Programming Language , 1974, IFIP Congress.

[11] Fernando Pereira,et al. Can Drawing Be Liberated From the Von Neumann Style? , 1983, Databases for Business and Office Applications.

[12] Deyi Li. A PROLOG database system , 1984 .

[13] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.