프롤로그

Also known as Programming in Logic

논리형 프로그래밍 언어

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

Gallery (6)

Available in 60 languages

Show 41 more

via Wikidata sitelinks · CC0