This HTML5 document contains 87 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/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n19http://www.cs.kuleuven.be/~toms/CHR/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15http://chr.informatik.uni-ulm.de/~webchr/
freebasehttp://rdf.freebase.com/ns/
n16https://dtai.cs.kuleuven.be/projects/CHR/
n11http://listserv.cc.kuleuven.ac.be/archives/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n17http://www.cs.kuleuven.be/~dtai/projects/CHR/biblio/
n7http://ja.dbpedia.org/resource/Category:
n10http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q5164373
owl:sameAs
dbpedia-ja:Constraint_Handling_Rules
Subject Item
dbpedia-ja:Concurrent_Prolog
dbo:wikiPageWikiLink
dbpedia-ja:Constraint_Handling_Rules
Subject Item
dbpedia-ja:Constraint_Handling_Rules
rdf:type
dbo:ProgrammingLanguage wikidata:Q315 dbo:Language schema:Language owl:Thing wikidata:Q9143
rdfs:label
Constraint Handling Rules
rdfs:comment
Constraint Handling Rules(CHR)は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である。多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが、独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステム、自然言語処理、スケジューリング、型システム、ソフトウェアのテストと診断、セマンティックウェブなどである。
owl:sameAs
freebase:m.05t82q
dct:subject
n7:プログラミング言語 n7:並行計算 n7:論理プログラミング言語
dbo:wikiPageID
2003468
dbo:wikiPageRevisionID
85286886
dbo:wikiPageWikiLink
dbpedia-ja:順序集合 dbpedia-ja:クロスプラットフォーム dbpedia-ja:項書き換え dbpedia-ja:宣言型プログラミング dbpedia-ja:型システム dbpedia-ja:プログラミング言語 dbpedia-ja:自然言語処理 dbpedia-ja:ホーン節 dbpedia-ja:アブダクション dbpedia-ja:チューリング完全 dbpedia-ja:マルチエージェントシステム n7:プログラミング言語 dbpedia-ja:Guarded_Horn_Clauses dbpedia-ja:原子論理式 dbpedia-ja:Concurrent_Prolog dbpedia-ja:Guarded_Command_Language dbpedia-ja:論理型言語 n7:並行計算 dbpedia-ja:プロダクションシステム dbpedia-ja:並行論理プログラミング言語 dbpedia-ja:推論 dbpedia-ja:並行論理プログラミング dbpedia-ja:並行制約プログラミング言語 dbpedia-ja:並行制約プログラミング dbpedia-ja:制約論理プログラミング言語 dbpedia-ja:ユークリッドの互除法 dbpedia-ja:Java dbpedia-ja:ガード_(プログラミング) dbpedia-ja:Prolog dbpedia-ja:制約論理プログラミング dbpedia-ja:宣言型言語 dbpedia-ja:論理プログラミング dbpedia-ja:Haskell n7:論理プログラミング言語 dbpedia-ja:ソフトウェアテスト dbpedia-ja:合流性 dbpedia-ja:セマンティックウェブ dbpedia-ja:動的型付け
dbo:wikiPageExternalLink
n11:chr.html n15: n16: n17: n19:
foaf:name
Constraint Handling Rules
prop-en:wikiPageUsesTemplate
template-en:Infobox_プログラミング言語 template-en:プログラミング言語 template-en:Reflist
prop-en:名前
Constraint Handling Rules
prop-en:設計者
Thom Frühwirth
prop-en:パラダイム
dbpedia-ja:並行制約プログラミング dbpedia-ja:制約論理プログラミング
prop-en:型付け
dbpedia-ja:動的型付け
prop-en:影響を与えた言語
LMNtal
prop-en:プラットフォーム
dbpedia-ja:クロスプラットフォーム
prop-en:処理系
Prolog 、Java 、Haskell
prop-en:影響を受けた言語
dbpedia-ja:Prolog dbpedia-ja:Concurrent_Prolog dbpedia-ja:Guarded_Horn_Clauses
prop-en:登場時期
1991
dbo:abstract
Constraint Handling Rules(CHR)は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である。多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが、独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステム、自然言語処理、スケジューリング、型システム、ソフトウェアのテストと診断、セマンティックウェブなどである。
dbo:wikiPageLength
7106
prov:wasDerivedFrom
n10:Constraint_Handling_Rules?oldid=85286886&ns=0
foaf:isPrimaryTopicOf
n10:Constraint_Handling_Rules
Subject Item
dbpedia-ja:Guarded_Horn_Clauses
dbo:wikiPageWikiLink
dbpedia-ja:Constraint_Handling_Rules
Subject Item
dbpedia-ja:プログラミング言語一覧
dbo:wikiPageWikiLink
dbpedia-ja:Constraint_Handling_Rules
Subject Item
dbpedia-ja:並行制約プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Constraint_Handling_Rules
Subject Item
dbpedia-ja:制約論理プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Constraint_Handling_Rules
Subject Item
dbpedia-ja:宣言型プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Constraint_Handling_Rules
Subject Item
dbpedia-ja:CHR
dbo:wikiPageWikiLink
dbpedia-ja:Constraint_Handling_Rules
dbo:wikiPageDisambiguates
dbpedia-ja:Constraint_Handling_Rules
Subject Item
n10:Constraint_Handling_Rules
foaf:primaryTopic
dbpedia-ja:Constraint_Handling_Rules