Prolog
Logic for problem-solving
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
An exemplary approach to the education of rule-based languages
ACM SIGCSE Bulletin
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Teaching recursion using fractals in Prolog
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Communications of the ACM
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Communications of the ACM - The MIT Press scientific computation series
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Development of Veda, a Prototyping Tool for Distributed Algorithms
IEEE Transactions on Software Engineering
Typing constraint logic programs
Theory and Practice of Logic Programming
VLP: a visual logic programming language
Journal of Visual Languages and Computing
Derived types in semantic association discovery
Journal of Intelligent Information Systems
Extension of first-order theories into trees
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
| Hi-index | 48.23 |
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.