Live briefing
Everything about Prolog
Programming language that uses first order logic
Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: PrologA 5-minute orientation
- Skim a recent paper: Application of the Lugano Classification for Initial Evaluation, Staging, and Response Assessment of Hodgkin and Non-Hodgkin Lymphoma: The PRoLoG Consensus Initiative (Part 1—Clinical)Influential work since 2022
- Pick up a classic book: Artificial intelligenceThe most-reprinted book on the subject
- Read the landmark paper: An introduction to Prolog IIICited 339 times
- Go sideways: Logic programmingA closely related topic
- Go sideways: Prolog syntax and semanticsA closely related topic
📖 Definitions
Noun Uncommon spelling of prologue.
Verb Uncommon spelling of prologue.
🏆 Landmark papers (most cited)
An introduction to Prolog III
SWI-Prolog
Predictive Low-Glucose Suspend Reduces Hypoglycemia in Adults, Adolescents, and Children With Type 1 Diabetes in an At-Home Randomized Crossover Study: Results of the PROLOG Trial
Making prolog more expressive
A polymorphic type system for prolog
A prolog technology theorem prover: Implementation by an extended prolog compiler
The Aurora or-parallel Prolog system
Object oriented programming in Concurrent Prolog
🆕 Influential since 2022
Application of the Lugano Classification for Initial Evaluation, Staging, and Response Assessment of Hodgkin and Non-Hodgkin Lymphoma: The PRoLoG Consensus Initiative (Part 1—Clinical)
Fifty Years of Prolog and Beyond
Prolog-based agnostic explanation module for structured pattern classification
LoRP: LLM-based Logical Reasoning via Prolog
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language
📚 Books worth reading
Artificial intelligenceGeorge F. Luger, LUGER · 1992
Programming in PrologWilliam F. Clocksin, Christopher S. Mellish · 1981
Prolog programming for artificial intelligenceIvan Bratko, Bratko, Ivan. · 1986
Programming with higher-order logicDale Miller · 2012
Concurrent PrologEhud Yehuda Shapiro · 1987
The art of PrologLeon Sterling, Ehud Yehuda Shapiro · 1986- 📕PrologJohn Malpas · 1987
Implementation of PrologAra M. Djamboulian, Patrice Boizumault · 1993
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Logic programming Logic programming is a programming, database, and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical…
- 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…
- Logtalk Logtalk is an object-oriented logic programming language that extends and leverages the Prolog language with a feature set suitable for programming in…
- ECLiPSe ECLiPSe is a software system for the development and deployment of constraint logic programming applications, e.g., in the areas of optimization, planning…
- Comparison of Prolog implementations The following comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the…
- Declarative programming In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without fully describing its control flow…
- Horn clause In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form that gives it useful properties for use…
- Datalog Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down…