The prolog phenomenon
- 1 July 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGART Bulletin
- Vol. 72 (72) , 16-20
- https://doi.org/10.1145/1056447.1056448
Abstract
In 1968, Carl Hewitt introduce PLANNER, a "procedural deductive system." [Hewitt 72] It featured some very innovative concepts for the theorem-proving community of that time: the procedural interpretation of deduction, pattern-directed procedure invocation, an indexed data base of assertions and programs, and nondeterminism (backtracking). A simple version was implemented by Sussman, Winograd and Charniak [Sussman 71] and used by Winograd in his exciting work on natural language. [Winograd 72] A very similar language, QA4, was implemented on the West Coast. [Rulifson 72] These languages, known by the ambitious term "AI languages," were widely perceived as providing built-in facilities that everyone would need for the next generation of AI systems, the way LISP had provided facilities for the previous one.Keywords
This publication has 4 references indexed in Scilit:
- AMORD explicit control of reasoningPublished by Association for Computing Machinery (ACM) ,1977
- Prolog - the language and its implementation compared with LispPublished by Association for Computing Machinery (ACM) ,1977
- An Overview of KRL, a Knowledge Representation LanguageCognitive Science, 1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976