File:Early_Prolog_timeline.svg · Wikimedia Commons · See Wikimedia Commons
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 · 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