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.
Get full access to this article
View all access options for this article.
References
1.
Clark, K.L., and McCabe, F.G.1984. Micro-Prolog. Programming in logic. Englewood Cliffs, New Jersey: Prentice Hall, International .
2.
Clocksin, W.F. and Melish, C.S.1981. Programming in Prolog. New York: Springer-Verlag.
3.
Colmerauer, A.1972. Un system de communication homme-machine en francais. Marseille: Aix-Marseille University.
4.
—. 1983. Prolog, theoretical principles and current trends. Technology and Science of Informatics2(4):255-292.
5.
Dahl, V.1982. Translating Spanish into logic through logic. American Journal of Computational Linguistics7:3.
6.
—. 1981. On database systems development through logic. ACM Transactions on Database Systems7(1):102-123.
7.
Horn, A.1951. On sentences which are true of direct unions of algebras . Journal of Symbolic Logic16:14-21.
8.
Kowalski, R.1974. "Predicate logic as a programming language" In IFIP Proceedings. Amsterdam: North Holland.
9.
Kowalski, R.1979. Logic for problem solving. New York : Elsevier North Holland.
10.
Li, D.1984. A Prolog database system. New York : John Wiley & Sons.
11.
Markus, A., Markusz, Z., Farkas, J., and Filmon, J.1982. Fixture design by prolog. Budapest . Computer and Automation Institute, Hungarian Academy of Sciences.
12.
Markusz, Z.1982. Design in logic. Budapest: Computer and Automation Institute, Hungarian Academy of Sciences.
13.
Pereira, F.C.N.1983. "Can Drawing Be Liberated from the von Neuman Style?" Technical Note 282. Menlo Park, California: Stanford Research Institute International.
14.
Pereira, L.M., Sabatier, P., and Oliveira, E.1982. ORBI — an expert system for environmental resource evaluation through natural language. Proceedings of the first international logic programming conference. Marseille: Faculte des Sciences de Luminy.
15.
Roach, J.W.1982. "A Prolog Simulation of Migration in Decision Making in a Less Developed Country." In Proceedings of the First International Logic Programming Conference. Marseille : Faculte des Sciences de Luminy.
16.
Robinson, A.1983. Logic Programming — Past, Present and Future. New Generation Computing1(2):107-124.
17.
—. 1965. A machine oriented logic based on the resolution principle . Journal of the Association of Computing Machinery12 (January):23-41.
18.
Roussel, P.1975. Prolog: Manuel de Reference et d'utilisation. Marseille: Groupe d'Intelligence Artificielle, Universite d'Aix-Marseille.
19.
Shapiro, E.Y.1983. A subset of Concurrent Prolog and its interpreter. ICOT Technical Report TR-003. Tokyo.
20.
Swinson, P.S.G., Pereira, F.C.N., and Biji, A.1983. A fact dependency system for the logic programmer. Edinburgh. EdCAAD — Edmburgh Computer Aided Architectural Design
21.
Sergot, M.1982. "Prospects for Representing the Law as Logic Programs ." In Logic programming, ed. K. L. Clark and A. Tarlund.New York: Academic Press.
22.
Uchida, S., Yokota, M., Yamamoto, A., Kazuo, T., and Nishikawa, H.Outline of the personal sequential inference machine PSI. Tokyo: ICOT Research Center, Institute for New Generation Computer Technology.
23.
Van Emden, M.H. and Kowalski, R.A.1976. The semantics of predicate logic as a programming language . Journal of the Association of Computing Machinery23(4):733-742.
