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: