Prolog in 10 figures
- 1 December 1985
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 28 (12) , 1296-1310
- https://doi.org/10.1145/214956.214958
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.Keywords
This publication has 3 references indexed in Scilit:
- A logical reconstruction of Prolog IIThe Journal of Logic Programming, 1984
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965