Prolog

Also known as Programming in Logic

programspråk

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.

In the Vinony graph

Vinony's link graph records 894 inbound references to Prolog, and connects out to ISO 0070, ISO 31 and WS-Addressing.

It is catalogued under topics including Dynamically typed programming languages, French inventions and Homoiconic programming languages.

Vinony links it to 60 Wikipedia language editions.

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 · Svenska

Prolog, ett programspråk för logikprogrammering. Prolog skiljer sig från de flesta andra programspråk i och med att det bygger på logiska uttryck och inte på instruktioner för datorn. Prolog används främst inom områdena artificiell intelligens och . Att programmera i Prolog liknar inte riktigt program skrivna i programspråk som till exempel C; språket är uppbyggt så att man i sitt program definierar klausuler som returnerar sant eller falskt. Man ställer sedan frågor till systemet som med hjälp av de klausuler man definierat kan dra slutsatser och svara på frågor.

Abstract from DBpedia / Wikipedia · CC BY-SA