About: Prolog syntax and semantics

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Set of rules defining correctly structured Prolog programs

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