This HTML5 document contains 65 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-globalhttps://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n5http://dbpedia.org/resource/ISO/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Prolog_syntax_and_semantics
owl:sameAs
freebase:m.08051yy dbpedia-uk:Синтаксис_та_семантика_Прологу wikidata:Q864062 dbpedia-global:522Mm
rdfs:label
Синтаксис та семантика Прологу Prolog syntax and semantics
prov:wasDerivedFrom
wikipedia-en:Prolog_syntax_and_semantics?oldid=1159693111&ns=0
dbo:description
set of rules defining correctly structured Prolog programs
dbo:wikiPageWikiLink
n5:IEC_13211 dbr:Iterative_deepening_depth-first_search dbr:Logical_conjunction dbr:Ground_expression dbr:Resolution_(logic) dbr:Tail_call dbr:Logical_consequence dbr:Soundness dbr:Comparison_of_Prolog_implementations dbr:Predicate_logic dbr:Arity dbr:Abstract_syntax_tree dbr:Rational_number dbr:Programming_language dbc:Prolog_programming_language_family dbr:Monads_in_functional_programming dbr:Cut_(logic_programming) dbr:Unicode dbr:Syntax_(programming_languages) dbr:Floating_point dbc:Programming_language_syntax dbr:Character_encoding dbr:Dynamic_typing dbr:Parsing dbr:Tail_recursion dbr:Backus–Naur_form dbr:Data_type dbr:Unification_(computing) dbr:Turing_completeness dbr:Logical_disjunction dbr:ISO_standard dbr:Horn_clauses dbr:Predicate_(mathematics) dbr:Negation_as_failure dbr:Semantics_(computer_science) dbr:Non-monotonic_logic dbr:Symbol_(programming) dbr:SLD_resolution dbr:Backtracking dbr:Prolog dbr:Integer dbr:Definite_clause_grammar
dct:subject
dbc:Prolog_programming_language_family dbc:Programming_language_syntax
foaf:isPrimaryTopicOf
wikipedia-en:Prolog_syntax_and_semantics
dbp:wikiPageUsesTemplate
dbt:Short_description dbt:About
gold:hypernym
dbr:Set
Subject Item
wikipedia-en:Prolog_syntax_and_semantics
foaf:primaryTopic
dbr:Prolog_syntax_and_semantics
Subject Item
dbr:Serialization
dbo:wikiPageWikiLink
dbr:Prolog_syntax_and_semantics
Subject Item
dbr:Syntax_(programming_languages)
dbo:wikiPageWikiLink
dbr:Prolog_syntax_and_semantics
Subject Item
dbr:Functor_(disambiguation)
dbo:wikiPageWikiLink
dbr:Prolog_syntax_and_semantics
Subject Item
dbr:Constraint_Handling_Rules
dbo:wikiPageWikiLink
dbr:Prolog_syntax_and_semantics
Subject Item
dbr:Data_types_in_Prolog
dbo:wikiPageRedirects
dbr:Prolog_syntax_and_semantics
dbo:wikiPageWikiLink
dbr:Prolog_syntax_and_semantics
Subject Item
dbr:Anonymous_variables_in_Prolog
dbo:wikiPageRedirects
dbr:Prolog_syntax_and_semantics
dbo:wikiPageWikiLink
dbr:Prolog_syntax_and_semantics