http://dbpedia.org/ontology/abstract
|
Синтаксис та семантика мови програмування Пролог є множиною правил, що визначає, як пишеться програма мовою Пролог, і як вона інтерпретується. Ці правила викладено у стандарті ISO/IEC 13211, хоча в є відмінності.
, The syntax and semantics of Prolog, a prog … The syntax and semantics of Prolog, a programming language, are the sets of rules that define how a Prolog program is written and how it is interpreted, respectively. The rules are laid out in ISO standard ISO/IEC 13211 although there are differences in the Prolog implementations.differences in the Prolog implementations.
|
http://dbpedia.org/ontology/wikiPageID
|
24537866
|
http://dbpedia.org/ontology/wikiPageLength
|
14847
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1083780981
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Backus%E2%80%93Naur_form +
, http://dbpedia.org/resource/Soundness +
, http://dbpedia.org/resource/Resolution_%28logic%29 +
, http://dbpedia.org/resource/Negation_as_failure +
, http://dbpedia.org/resource/Horn_clauses +
, http://dbpedia.org/resource/Data_type +
, http://dbpedia.org/resource/Predicate_%28mathematics%29 +
, http://dbpedia.org/resource/Integer +
, http://dbpedia.org/resource/Predicate_logic +
, http://dbpedia.org/resource/Logical_disjunction +
, http://dbpedia.org/resource/Unification_%28computing%29 +
, http://dbpedia.org/resource/Logical_conjunction +
, http://dbpedia.org/resource/Turing_completeness +
, http://dbpedia.org/resource/Comparison_of_Prolog_implementations +
, http://dbpedia.org/resource/Category:Programming_language_syntax +
, http://dbpedia.org/resource/Floating_point +
, http://dbpedia.org/resource/ISO/IEC_13211 +
, http://dbpedia.org/resource/Non-monotonic_logic +
, http://dbpedia.org/resource/Semantics_%28computer_science%29 +
, http://dbpedia.org/resource/Iterative_deepening_depth-first_search +
, http://dbpedia.org/resource/Parsing +
, http://dbpedia.org/resource/Abstract_syntax_tree +
, http://dbpedia.org/resource/Syntax_%28programming_languages%29 +
, http://dbpedia.org/resource/Rational_number +
, http://dbpedia.org/resource/Backtracking +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Category:Prolog_programming_language_family +
, http://dbpedia.org/resource/Unicode +
, http://dbpedia.org/resource/Symbol_%28programming%29 +
, http://dbpedia.org/resource/SLD_resolution +
, http://dbpedia.org/resource/Definite_clause_grammar +
, http://dbpedia.org/resource/Cut_%28logic_programming%29 +
, http://dbpedia.org/resource/Ground_expression +
, http://dbpedia.org/resource/Prolog +
, http://dbpedia.org/resource/Logical_consequence +
, http://dbpedia.org/resource/Dynamic_typing +
, http://dbpedia.org/resource/ISO_standard +
, http://dbpedia.org/resource/Tail_call +
, http://dbpedia.org/resource/Tail_recursion +
, http://dbpedia.org/resource/Monads_in_functional_programming +
, http://dbpedia.org/resource/Character_encoding +
, http://dbpedia.org/resource/Arity +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Programming_language_syntax +
, http://dbpedia.org/resource/Category:Prolog_programming_language_family +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Set +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Prolog_syntax_and_semantics?oldid=1083780981&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Prolog_syntax_and_semantics +
|
owl:sameAs |
https://global.dbpedia.org/id/522Mm +
, http://uk.dbpedia.org/resource/%D0%A1%D0%B8%D0%BD%D1%82%D0%B0%D0%BA%D1%81%D0%B8%D1%81_%D1%82%D0%B0_%D1%81%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0_%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D0%B3%D1%83 +
, http://www.wikidata.org/entity/Q864062 +
, http://rdf.freebase.com/ns/m.08051yy +
, http://dbpedia.org/resource/Prolog_syntax_and_semantics +
|
rdfs:comment |
The syntax and semantics of Prolog, a prog … The syntax and semantics of Prolog, a programming language, are the sets of rules that define how a Prolog program is written and how it is interpreted, respectively. The rules are laid out in ISO standard ISO/IEC 13211 although there are differences in the Prolog implementations.differences in the Prolog implementations.
, Синтаксис та семантика мови програмування Пролог є множиною правил, що визначає, як пишеться програма мовою Пролог, і як вона інтерпретується. Ці правила викладено у стандарті ISO/IEC 13211, хоча в є відмінності.
|
rdfs:label |
Синтаксис та семантика Прологу
, Prolog syntax and semantics
|