Memoing for logic programs

Principles of database and knowledge-base systems

Choice Reviews Online · 1989 · 2.7K citations

Computing, Computer Science, Information Systems +16

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

Humanities, Computer Science, Logic +16

The Art of Prolog

Leon Sterling, Ehud Shapiro, Randy Garrett · IEEE Expert · 1987 · 1.1K citations

Computing, Computer Science, Knowledge Representation +9

Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks

Fernando C. N. Pereira, David H. Warren · Artificial Intelligence · 1980 · 985 citations

Language Studies, Computer Science, Linguistics +11

An efficient context-free parsing algorithm

Jay Earley · Communications of the ACM · 1970 · 817 citations · Full text

Computing, Computer Science, Algorithms +14