Prolog

Also known as Programming in Logic

Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics.

AI overview

Prolog is a programming language designed to solve problems by working with logical rules and facts, rather than giving step-by-step instructions like most programming languages do. It emerged from research in artificial intelligence and related fields, making it particularly useful for applications that involve reasoning, proving statements, and understanding language.

AI-generated from the Wikipedia summary — may contain errors.

Key facts

Programming language.paradigm: Logic
Programming language.designers: Alain Colmerauer
Programming language.latest release version: Part 1: General core-Edition 1 ()Part 2: Modules-Edition 1 ()Part 3: Definite clause grammar rules ()
Programming language.typing: Untyped (its single data type is "term")
Programming language.implementations: Amzi! Prolog, B-Prolog, Ciao, ECLiPSe, GNU Prolog, LPA Prolog, Poplog, P#, Quintus Prolog, Scryer Prolog, SICStus, Strawberry, SWI-Prolog, Tau Prolog, tuProlog, WIN-PROLOG XSB, YAP.
Programming language.dialects: ISO Prolog, Edinburgh Prolog
Programming language.influenced by: Planner
Programming language.influenced: CHR, Clojure, Datalog, Erlang, Epilog, KL0, KL1, Logtalk, Mercury, Oz, Strand, Visual Prolog
Programming language.file_ext: .pl, .pro, .P
Programming language.website: Part 1: Part 2: Part 3:
Programming language.wikibooks: Prolog

via Wikipedia infobox

Wikidata facts

Show 3 more facts

Stack Exchange tag: stackoverflow.com/tags/prolog
file extension: P
inception: 1972-00-00

Sources (7)

via Wikidata · CC0

~40 min read

Article

44 sections

Contents

History
Impact
Use in industry
Syntax and semantics
Data types
Rules and facts
Predicates and programs
Loops and recursion
Execution
Negation
Programming in Prolog
Hello World
Compiler optimization
Quicksort
Design patterns of Prolog
Higher-order programming
Modules
Parsing
Meta-interpreters and reflection
Turing completeness
Implementation
ISO Prolog
Compilation
Tail recursion
Term indexing
Hashing
Tabling
Implementation in hardware
Extensions
Types
Modes
Constraints
Object-orientation
Graphics
Concurrency
Web programming
Other
Interfaces to other languages
See also
Related languages
Notes
References
Further reading
External links

Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics.

Prolog has its roots in first-order logic, a formal logic. Unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program is a set of facts and rules, which define relations. A computation is initiated by running a query over the program.