Abstract
In the fall of 1981, a Japanese report officially initiated the quest for fifth-generation computers that would encompass the functions of knowledge processing and artificial intelligence. The conceptual underpinnings behind Prolog—Japan's language of choice for these activities—are presented here in a way that suggests why Prolog or a similar language might be considered a model for designing the computers of the future.
Publisher
Association for Computing Machinery (ACM)
Reference14 articles.
1. A Machine-Oriented Logic Based on the Resolution Principle
2. Robinson. J.A. Logic: Form and Function. Edinburgh University Press. Scotland. and Elsevier North-Holland. New York. 1979. Robinson. J.A. Logic: Form and Function. Edinburgh University Press. Scotland. and Elsevier North-Holland. New York. 1979.
3. The Semantics of Predicate Logic as a Programming Language
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Structural Resolution with Co-inductive Loop Detection;Electronic Proceedings in Theoretical Computer Science;2017-09-13
2. References;Lees' Loss Prevention in the Process Industries;2012
3. Derived types in semantic association discovery;Journal of Intelligent Information Systems;2009-07-02
4. Scheduling internal audit activities: a stochastic combinatorial optimization problem;Journal of Combinatorial Optimization;2009-01-21
5. Extension of First-Order Theories into Trees;Artificial Intelligence and Symbolic Computation;2006