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 8 more facts

Stack Exchange tag: stackoverflow.com/tags/prolog
topic's main category: Category:Prolog programming language family
file extension: P
inception: 1972-00-00
influenced by: Planner
programming paradigm: declarative programming
derivative work: Datalog
different from: prologue

Sources (7)

via Wikidata · CC0

Article · 日本語

Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。一階述語論理と形式論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキの門弟のデヴィッド・ワーレンが1977年に改訂開発したエディンバラProlog（DEC-10 Prolog）が標準になってPrologは広く普及した。

Abstract from DBpedia / Wikipedia · CC BY-SA