The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Understanding Natural Language
Understanding Natural Language
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
AMORD explicit control of reasoning
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Micro-Planner Reference Manual
Micro-Planner Reference Manual
Recent developments in SAIL, an algol-based language for artificial intelligence.
Recent developments in SAIL, an algol-based language for artificial intelligence.
PROLOG applications for database design with the information center
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
A parallel Prolog: The construction of a data driven model
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Logic enhancement: A method for extending logic programming languages
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Compiling prolog programs for parallel execution on a cellular machine
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Last steps towards an ultimate Prolog
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Hi-index | 0.00 |
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.