Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Syntax and semantics of logic programming
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Formal semantics of logic programming languages
Property
Value
dbo:
description
formal semantics of logic programming languages
(en)
dbo:
thumbnail
wiki-commons
:Special:FilePath/Herbrand-model-hasse.png?width=300
dbp:
date
March 2023
(en)
dbp:
wikiPageUsesTemplate
dbt
:Main
dbt
:Reflist
dbt
:Math
dbt
:=
dbt
:Cite_journal
dbt
:Expand_section
dbt
:Sfn
dbt
:Empty_section
dbt
:Mvar
dbt
:Em
dbt
:More_footnotes
dbt
:Short_description
dbt
:Dfni
dbp:
with
a formal definition of stratification
(en)
dct:
subject
dbc
:Logic_programming
dbc
:Programming_language_syntax
rdfs:
label
Syntax and semantics of logic programming
(en)
prov:
wasDerivedFrom
wikipedia-en
:Syntax_and_semantics_of_logic_programming?oldid=1296248231&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/Proof_tree_for_Datalog_transitive_closure_computation.svg
wiki-commons
:Special:FilePath/Herbrand-model-hasse.png
foaf:
isPrimaryTopicOf
wikipedia-en
:Syntax_and_semantics_of_logic_programming
is
foaf:
primaryTopic
of
wikipedia-en
:Syntax_and_semantics_of_logic_programming
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International