Prolog
Sign in to saveProlog 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:
Article
44 sectionsContents
- 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.