SHMARQL

Prolog

<http://www.wikidata.org/entity/Q163468>

programming language that uses first order logic
rdfs:label
"Prolog"@en
skos:altLabel
"Programming in Logic"@en
schema:description
"programming language that uses first order logic"@en
schema:dateModified "2026-11-11T05:43:43+00:00"^^xsd:dateTime
schema:version 2567839130
wikibase:identifiers 27
wikibase:sitelinks 68
wikibase:statements 48
p:P10283 wd:statement/Q163468-9B1DFD00-BDA2-44F7-9E17-E6DA617A4CB0
p:P1051 wd:statement/Q163468-A0DCC43E-32FD-4D60-86CA-6A5F95337214
p:P11410 wd:statement/Q163468-54dd1b10-4833-431f-8eab-619512093f85
p:P1195 wd:statement/Q163468-16c27b02-4177-2c55-e093-d3b8530fd18e
wd:statement/Q163468-44bd78ec-4905-4a12-e770-2680caac287f
wd:statement/Q163468-62f74bc8-45b2-bce5-e17a-72637692fe34
p:P12385 wd:statement/Q163468-ea88222c-dd21-43a7-9b86-8d5c0502e5e5
p:P1296 wd:statement/Q163468-6B5CE735-9A0C-4E4B-97F7-792A7FD0C9BC
p:P1343 wd:statement/Q163468-bdc14124-40d0-e978-a04a-61bcb35f7a67
p:P13591 wd:statement/Q163468-76FB97AF-5514-4253-A8DA-B0EEB496B685
p:P1482 wd:statement/Q163468-1bb428ec-4151-3cc0-b077-f743f2f96b14
p:P1709 wd:statement/Q163468-3c816792-40c1-85de-dae4-20768a6238f2
p:P1889 wd:statement/Q163468-0D7D55DC-0076-4EA4-8393-51D1B0BD8783
p:P2347 wd:statement/Q163468-7abfa07a-4418-136e-bc54-4b7c355338f0
p:P244 wd:statement/Q163468-F9AC4322-D498-49F5-BF15-BF3A5671D4D2
p:P268 wd:statement/Q163468-43a6c7e4-4e4d-6cb0-897b-d013a805f2bd
p:P269 wd:statement/Q163468-49c79b49-4810-60d4-aeaf-2fbb218dd01a
p:P287 wd:statement/Q163468-1a3b8eac-46f3-4f87-8557-d1c9c1ad20f0
wd:statement/Q163468-619998a8-4468-3b1e-a64a-f6900e24ef3c
wd:statement/Q163468-AA9369A1-6230-4D7B-BF5C-285232629908
p:P31 wd:statement/Q163468-51a73d36-40c1-43f7-7c45-7375e6cc0da4
wd:statement/Q163468-568293A5-5BBA-4A86-8012-0DC7437EF475
wd:statement/Q163468-cb9f5b48-46e1-4c52-fee3-f4323ea42304
wd:statement/q163468-9EAE4121-04FD-4B65-BA74-DCDDF8881787
p:P3381 wd:statement/Q163468-21EFB2F4-C09F-47AF-9186-DA82C245618A
p:P3417 wd:statement/Q163468-F869E913-F7CA-4844-BFC7-B03BD1B1B3F8
p:P3553 wd:statement/Q163468-EC2D9773-AEB9-4EE0-9A62-19CEDD96DF22
p:P3827 wd:statement/Q163468-2245B0C7-3967-49C1-A074-3ED18B7F8405
p:P3966 wd:statement/Q163468-0EA98C80-EEEE-483E-8C83-967BD838555E
wd:statement/Q163468-2F454656-71C9-4213-912F-40FEAB874CFF
p:P3984 wd:statement/Q163468-f2490ed1-43ce-17b7-bed2-21d8a4331b48
p:P4342 wd:statement/Q163468-33FC71E7-BE88-487E-93C4-B17A8A88858D
wd:statement/Q163468-AD389BFB-B0F1-44A2-99C2-622B3F6ECDD8
p:P4644 wd:statement/Q163468-1375652D-9BFA-4F94-B06E-11EB0760C0FB
p:P4802 wd:statement/Q163468-BD58291E-79B1-4D06-A810-C3648EEDE680
p:P4969 wd:statement/Q163468-1F7848D9-88F9-4963-A343-1739DF1DB1BC
wd:statement/Q163468-3c166bda-44d9-f933-7634-a1aa49f920ef
p:P571 wd:statement/Q163468-cbdcf928-4b7a-e6be-0def-2ca25ceeddbd
p:P6293 wd:statement/Q163468-BCD7EDD5-F767-4462-880E-054DD3C9B7BD
p:P6366 wd:statement/Q163468-157CC3E3-38D4-4488-B71F-70A5A3E06C8D
p:P646 wd:statement/Q163468-BC00CF0E-135E-4E28-A734-0476382A8BF0
p:P691 wd:statement/Q163468-BF750BA2-A5D6-452F-84CC-EA9A78795C99
p:P737 wd:statement/Q163468-821F445F-BCC4-45CF-B0F0-8B4738E3D92B
p:P8189 wd:statement/Q163468-942F05D9-DDE5-4681-AB9F-7181FEB93D1D
p:P8408 wd:statement/Q163468-56BD92C8-B0DF-47C7-9101-893D94FD19AB
p:P910 wd:statement/Q163468-7a6127df-43d7-a4ae-67ae-4e129442d5d6
p:P9100 wd:statement/Q163468-eab3f0f5-4e8a-0242-8fe4-b05fd4b4b531
p:P9322 wd:statement/Q163468-17E3A1D7-E760-4B89-9827-C9329188B697
p:direct-normalized/P2347 <http://www.yso.fi/onto/yso/p18041>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/sh85107397>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb11970224v#about>
p:direct-normalized/P269 <http://www.idref.fr/027719774/id>
p:direct-normalized/P4644 <http://data.europa.eu/esco/skill/2bde42ae-e776-41c1-9ded-b07b30bfe985>
p:direct-normalized/P6293 <http://www.yso.fi/onto/ysa/Y109733>
p:direct-normalized/P6366 <https://makg.org/entity/81721847>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/Prolog-ComputerLanguage>
wdt:P10283 "C81721847"
wdt:P1051 "12525"
wdt:P11410 "prolog"
wdt:P1195 "P"
"pl"
"pro"
wdt:P12385 "prolog"
wdt:P1296 "0052839"
wdt:P1343 wd:Q56059057
wdt:P13591 "concept/e3f1d9a2-c9a5-4580-bd9d-5af464ca6a09"
wdt:P1482 <https://stackoverflow.com/tags/prolog>
wdt:P1709 <https://www.webkb.org/doc/RDF/phOntology.rdfs#Prolog>
wdt:P1889 prologue
wdt:P2347 "18041"
wdt:P244 "sh85107397"
wdt:P268 "11970224v"
wdt:P269 "027719774"
wdt:P287 Philippe Roussel
Robert Kowalski
Alain Colmerauer
wdt:P31 declarative programming language
logic programming language
deductive language
programming language
wdt:P3381 "Prolog"
wdt:P3417 "Prolog"
wdt:P3553 "19635053"
wdt:P3827 "prolog"
wdt:P3966 logic programming
declarative programming
wdt:P3984 "prolog"
wdt:P4342 "Prolog_-_programmeringsspråk"
wdt:P4644 "2bde42ae-e776-41c1-9ded-b07b30bfe985"
wdt:P4802 "108959"
wdt:P4969 Datalog
Strawberry Prolog
wdt:P571 "1972-01-01T00:00:00+00:00"^^xsd:dateTime
wdt:P6293 "Y109733"
wdt:P6366 "81721847"
wdt:P646 "/m/05vpz"
wdt:P691 "ph117111"
wdt:P737 Planner
wdt:P8189 "987007538888605171"
wdt:P8408 "Prolog-ComputerLanguage"
wdt:P910 Category:Prolog programming language family
wdt:P9100 "prolog"
wdt:P9322 "0207782-Prolog-programovaci-jazyk"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata