Live briefing
Everything about Logic programming
Programming paradigm based on formal logic
Logic programming is a programming, database, and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applying logical reasoning to that knowledge, to solve problems in the domain. Major logic programming language families include Prolog, Answer Set Programming (ASP), and Datalog. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Logic programmingA 5-minute orientation
- Skim a recent paper: Programming CAR T Cell Tumor Recognition: Tuned Antigen Sensing and Logic GatingInfluential work since 2022
- Pick up a classic book: Evaluation of Novel Approaches to Software EngineeringThe most-reprinted book on the subject
- Read the landmark paper: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person gamesCited 2,584 times
- Go sideways: PrologA closely related topic
- Go sideways: Declarative programmingA closely related topic
📖 Definitions
Noun Programming with a paradigm that bases on formal logic.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
Inductive logic programming
Abductive Logic Programming
Negation in logic programming
Probabilistic logic programming
Paraconsistent logic programming
Fuzzy logic programming
Temporal logic programming
🆕 Influential since 2022
📚 Books worth reading
Evaluation of Novel Approaches to Software EngineeringLeszek A. Maciaszek · 2011
Programming in PrologWilliam F. Clocksin, Christopher S. Mellish · 1981
A first course in fuzzy logicHung T. Nguyen, Elbert A. Walker · 1997
Logical Foundations of Computer ScienceSergei Artemov · 2007
How to prove itDaniel J. Velleman · 1994
Logic functions and equationsChristian Posthoff, Bernd Steinbach · 2005
Programming Logic and DesignJoyce Farrell · 2004
Heritage of Western civilizationJohn Louis Beatty · 1958
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog…
- Declarative programming In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without fully describing its control flow…
- Logtalk Logtalk is an object-oriented logic programming language that extends and leverages the Prolog language with a feature set suitable for programming in…
- Abductive logic programming Abductive logic programming (ALP) is a high-level knowledge-representation framework that can be used to solve problems declaratively, based on abductive…
- B-Prolog B-Prolog was a high-performance implementation of the standard Prolog language with several extended features including matching clauses, action rules…
- Robert Kowalski Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-orient…
- Prolog syntax and semantics The syntax and semantics of Prolog, a programming language, are the sets of rules that define how a Prolog program is written and how it is interpreted…
- ECLiPSe ECLiPSe is a software system for the development and deployment of constraint logic programming applications, e.g., in the areas of optimization, planning…