Live briefing
Everything about Prolog syntax and semantics
Set of rules defining correctly structured Prolog programs
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, respectively. The rules are laid out in ISO standard ISO/IEC 13211 although there are differences in the Prolog implementations. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Prolog syntax and semanticsA 5-minute orientation
- Pick up a classic book: Concepts, techniques, and models of computer programmingThe most-reprinted book on the subject
- Read the landmark paper: RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over PrologCited 23 times
- Go sideways: PrologA closely related topic
- Go sideways: B-PrologA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
đź“š Books worth reading
Concepts, techniques, and models of computer programmingPeter Van Roy, Seif Haridi · 2004
Three Views of LogicDonald W. Loveland, Richard E. Hodel · 2014
Introduction to artificial intelligence and expert systemsDan W. Patterson · 1990
Programming Language PragmaticsMichael Lee Scott · 2009
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…
- B-Prolog B-Prolog was a high-performance implementation of the standard Prolog language with several extended features including matching clauses, action rules…
- Definite clause grammar A definite clause grammar (DCG) is a way of expressing grammar, either for natural or formal languages, in a logic programming language such as Prolog…
- Fril Fril is a programming language for first-order predicate calculus. It includes the semantics of Prolog as a subset, but takes its syntax from the micro-PROLOG […
- 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…
- Constraint logic programming Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction…
- Atomic formula In mathematical logic, an atomic formula (also known as an atom or a prime formula) is a formula with no deeper propositional structure, that is, a formula…
- Syntax and semantics of logic programming Logic programming is a programming paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax…