note

Concurrent Constraint Programming④ Prologで十分

CLP（Constraint Logic Programming）は、Prologの論理プログラミングに 制約解決器（Constraint Solver） を統合したものです。 特にCLP (FD)は 有限領域制約（Finite Domains） を扱うもので、変数が取りうる値の範囲が有限である場合に強力な推論能力を発揮します。
www.cs.cmu.edu

[2-6] Commercial Constraint Systems

This section contains constraint systems, constraint logic programming systems, concurrent constraint languages, and other constraint processing systems. CHIP V4 (Constraint Handling In Prolog) is ...
note

CHR、CCP、CLP、生成文法

Constraint Handling RulesでConcurrent Constraint Programmingを表現できるらしいね。 サンプルが見たいし、分かりやすく解説が読みたい。 Constraint Handling Rules (CHR) を使った Concurrent Constraint Programming ...
GitHub

constraint-programming

Datasets related to the paper: "Improving the efficiency of Euclidean TSP solving in Constraint Programming by predicting effective nocrossing constraints" (Elena Bellodi, Alessandro Bertagnon, Marco ...
IEEE

An Ontology Analysis Implementation in Constraint Logic Programming

Abstract: Ontologies establish a common and unambiguous terminology for knowledge formal representation and (semi-) automatic reasoning, being gradually applied in Semantic Web services. OntoClean, on ...