Concepedia

A view of the origins and development of Prolog

Communications of the ACM · 1988 · 58 citations · 30 references

Open access

Concepts

ReliabilityPhilosophy Of LanguagePerformance StudiesEngineeringService RecoveryAutomated ReasoningProject ManagementManagementPhilosophy Of LogicFailure AnalysisWrong ProblemWell-founded SemanticsLanguage StudiesSemanticsHuman ErrorLinguisticsOrganizational BehaviorLogical Formalism

Abstract

Dealing with failure is easy: Work hard to improve. Success is also easy to handle: You've solved the wrong problem. Work hard to improve.

References

30

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Applied Logic, Computational Logic, Engineering +13

Semantics of context-free languages

Donald E. Knuth · Theory of Computing Systems · 1968 · 2K citations

Formal Semantics, Syntax, Operational Semantics +6

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

Declarative Programming, Engineering, Operational Semantics +11