A programming paradigm in which a program is expressed as a set of logical facts and rules, and computation proceeds by the system searching for values that satisfy a stated query against those facts and rules; Prolog is the paradigm's best-known language.
Facts
Partially Attested
Origin YearThis is the year Prolog, the first and best-known logic programming language, was implemented by Colmerauer and Roussel; the theoretical basis, the procedural interpretation of logic, was worked out slightly earlier, so the paradigm's origin can be dated a little differently. Core PrincipleA paradigm based on formal logic, used for programming, databases and knowledge representation. 1 Connections
In Field
Invented
Alain Colmerauer co-created Prolog and the logic programming paradigm it embodies in the early 1970s.
Sources
1. Logic programming - Wikipedia
Lead section
Logic programming is a programming, database, and knowledge representation paradigm based on formal logic.
History section
Colmerauer, with Philippe Roussel, used the procedural interpretation as the basis of Prolog, which was implemented in the summer and autumn of 1972.
View the SourceFrequently Asked Questions
Which language first put logic programming into practice?
Prolog, implemented in 1972 by Colmerauer and Roussel.
Prolog did. Alain Colmerauer, with Philippe Roussel, used the procedural interpretation of logic as the basis of Prolog, which was implemented in the summer and autumn of 1972. Logic programming itself is a programming, database, and knowledge representation paradigm based on formal logic.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.