PROLOG-the language and its implementation compared with LISP

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages 1977

Volumn , Issue , 1977, Pages 109-115

  Warren, David H D ^a   Pereira, Luis M ^b   Pereira, Fernando ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b NATIONAL LABORATORY FOR CIVIL ENGINEERING   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER CIRCUITS; LISP (PROGRAMMING LANGUAGE); PATTERN MATCHING; PROGRAM COMPILERS;

DEC SYSTEMS; MATCHING PROCESS; PROLOG COMPILER; STRUCTURED DATA; SYMBOLIC LOGIC;

PROLOG (PROGRAMMING LANGUAGE);

EID: 85051662687     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800228.806939     Document Type: Conference Paper

References (15)

1. Battani G and Meloni H [1973] Interpreteur du langage de programmation Prolog. Grouped'Intelligence Artifieielle, Marseille-Luminy, 1973
2. Boyer R S and Moore J S [1972] The sharing of structure in theorem proving programs. Machine Intelligence 7 (ed. Meltzer & Michie), Edinburgh U. Press, 1972.
3. Bruynooghe M [1976] An interpreter for predicate logic programs: Part I. Report CW I0, Applied Maths & Programming Division, Katholieke Univ Leuven, Belgium, Oct 1976.
4. Colmerauer A [1975] Les grammaires de metamorphase. Groupe d'Intelligence Artificielle, Marseille, Marseille-Luminy, Nov 1975.
5. DEC [1974] DECsystemlO System Ref Manual (3rd edition) Digital Equipment Corporation, Maynard, Mass. Aug 1974.
6. van Emden M H [1975] Programming with resolution logic. Report CS-75-30, Dept. Of Computer Science, University of Waterloo, Canada. Nov 1975.
7. Hoare C A R [1973] Recursive data structures. Stanford AI Memo 223, Calif. Oct 1973.
8. Kowalski R A [1974] Logic for problem solving. DCL Memo 75, Dept of AI, Edinburgh. Mar 1974.
9. McCarthy Jet al. [1962] LISP 1.5 prograumaer's Manual. MIT Press, MIT, Cambridge, Mass. Aug 1962.
10. Pereira L M [1977] User's Guide to DECsystem-lO Prolog. Forthcoming publication, Divisao de Informatica, Lab. Nac. De Engenharia Civil, Lisbon. 1977.
11. Robinson J A [1965] A machine-oriented logic based on the resolution principle. JACM vol 12, pp. 23-44. 1965.
12. Roussel P [1972] Definition et traitement de l'egalite formelle en demonstration automatique. These 3me. Cycle, UER de Luminy, Marseille. 1972.
13. Roussel P [1975] Prolog: Manual de reference et d'utilisation. Groupe d'Intelligence Artificielle, Marseille-Luminy. Sep 1975.
14. Warren D H D [1977] Implementing Prolog-compiling predicate logic programs. Forthcoming report, Dept of AI, Edinburgh. 1977.
15. Weissman C [1976] Lisp 1.5 Primer. Dickenson Publishing Co. 1967.