About: Prolog

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Prolog Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q9143, within Data Space : el.dbpedia.org associated with source document(s)

Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations. Prolog is well-suited for specific tasks that benefit from rule-based logical queries such as searching databases, voice control systems, and filling templates.

Attributes	Values
rdf:type	Thing language programming language schema:Language wikidata:Q315 wikidata:Q9143
rdfs:label	Prolog (en)
rdfs:comment	Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations. Prolog is well-suited for specific tasks that benefit from rule-based logical queries such as searching databases, voice control systems, and filling templates. (en)
sameAs	Prolog Prolog Prolog
dbp:wikiPageUsesTemplate	dbt:About dbt:Authority_control dbt:Circular_reference dbt:Citation_needed dbt:Cite_book dbt:Clarify dbt:Dead_link dbt:Further dbt:ISBN dbt:ISO_standards dbt:Infobox_programming_language dbt:Main dbt:Refbegin dbt:Refend dbt:Reflist dbt:Rp dbt:Short_description dbt:Start_date_and_age dbt:Which dbt:Wikibooks dbt:Programming_languages
foaf:homepage	https://www.iso.org/standard/21413.html
Subject	1972 in computing Declarative programming languages Pattern matching programming languages Programming languages created in 1972 Prolog programming language family Homoiconic programming languages Dynamically typed programming languages Logic programming languages Programming languages with an ISO standard
latest release version	Part 1: General core-Edition 1 () Part 2: Modules-Edition 1 ()
gold:hypernym	Language
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-programming_language-noun-1
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Prolog?oldid=1068030824&ns=0
Wikipage page ID	23485 (xsd:integer)
page length (characters) of wiki page	65408 (xsd:nonNegativeInteger)
Wikipage revision ID	1068030824 (xsd:integer)
influenced	XSB Oz (programming language) KL0 KL1 Clojure Constraint Handling Rules Visual Prolog Datalog Erlang (programming language) Strand (programming language) Mercury (programming language)
influenced by	Planner (programming language)
foaf:page	https://www.iso.org/standard/21413.html https://www.iso.org/standard/20775.html
has abstract	Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations. The language was developed and implemented in Marseille, France, in 1972 by Alain Colmerauer with Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses. Prolog was one of the first logic programming languages and remains the most popular such language today, with several free and commercial implementations available. The language has been used for theorem proving, expert systems, term rewriting, type systems, and automated planning, as well as its original intended field of use, natural language processing. Modern Prolog environments support the creation of graphical user interfaces, as well as administrative and networked applications. Prolog is well-suited for specific tasks that benefit from rule-based logical queries such as searching databases, voice control systems, and filling templates. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Prolog
is differentFrom of	Progol
is Wikipage redirect of	SICStus Meta-interpreters in Prolog PROLOG SICStus Prolog Design patterns in Prolog ISO/IEC 13211 ISO/IEC 13211-1 ISO/IEC 13211-2 PROLOG programming language Criticism of Prolog ISO Prolog ISO-Prolog Prolog-MPI Prolog (programming language) Prolog II Prolog language Prolog programming language Prologue language
is Link from a Wikipage to another Wikipage of	Fold (higher-order function) Foreach loop Livanjsko Polje Ljubuški Logic Logic Programming Associates Logic programming Logico-linguistic modeling Logtalk Macro (computer science) Nissim Francez Nominal terms (computer science) Nondeterministic programming Extended affix grammar "Hello, World!" program

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (82 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software