http://dbpedia.org/ontology/abstract
|
BNR Prolog, also known as CLP(BNR) is a de … BNR Prolog, also known as CLP(BNR) is a declarative constraint logic programming language based on relational interval arithmetic developed at Bell-Northern Research in the 1980s and 1990s. Embedding relational interval arithmetic in a logic programming language differs from other constraint logic programming(CLP) systems like CLP(R) or Prolog-III in that it does not perform any symbolic processing. BNR Prolog was the first such implementation of interval arithmetic in a logic programming language. Since the constraint propagation is performed on real interval values, it is possible to express and partially solve non-linear equations. and partially solve non-linear equations.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://web.ncf.ca/andre/publications/ieee90.pdf +
, https://github.com/ridgeworks/clpBNR_pl +
|
http://dbpedia.org/ontology/wikiPageID
|
58635754
|
http://dbpedia.org/ontology/wikiPageLength
|
2660
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1071298386
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Interval_arithmetic +
, http://dbpedia.org/resource/Category:Declarative_programming_languages +
, http://dbpedia.org/resource/Category:Logic_programming +
, http://dbpedia.org/resource/Category:Constraint_programming +
, http://dbpedia.org/resource/Category:Constraint_logic_programming +
, http://dbpedia.org/resource/Bell-Northern_Research +
, http://dbpedia.org/resource/CLP%28R%29 +
, http://dbpedia.org/resource/Category:Prolog_programming_language_family +
, http://dbpedia.org/resource/Constraint_logic_programming +
, http://dbpedia.org/resource/Simultaneous_equations +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Prog-lang-stub +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Prolog_programming_language_family +
, http://dbpedia.org/resource/Category:Logic_programming +
, http://dbpedia.org/resource/Category:Declarative_programming_languages +
, http://dbpedia.org/resource/Category:Constraint_logic_programming +
, http://dbpedia.org/resource/Category:Constraint_programming +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/BNR_Prolog?oldid=1071298386&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/BNR_Prolog +
|
owl:sameAs |
https://global.dbpedia.org/id/9QDyL +
, http://dbpedia.org/resource/BNR_Prolog +
, http://www.wikidata.org/entity/Q60790863 +
|
rdf:type |
http://www.wikidata.org/entity/Q9143 +
, http://dbpedia.org/ontology/Language +
, http://www.wikidata.org/entity/Q315 +
, http://schema.org/Language +
, http://dbpedia.org/ontology/ProgrammingLanguage +
|
rdfs:comment |
BNR Prolog, also known as CLP(BNR) is a de … BNR Prolog, also known as CLP(BNR) is a declarative constraint logic programming language based on relational interval arithmetic developed at Bell-Northern Research in the 1980s and 1990s. Embedding relational interval arithmetic in a logic programming language differs from other constraint logic programming(CLP) systems like CLP(R) or Prolog-III in that it does not perform any symbolic processing. BNR Prolog was the first such implementation of interval arithmetic in a logic programming language. Since the constraint propagation is performed on real interval values, it is possible to express and partially solve non-linear equations. and partially solve non-linear equations.
|
rdfs:label |
BNR Prolog
|