GitHub

Learning Constraint Logic Programming with Prolog

Learning Constraint Logic Programming with Prolog This repo is a record of my attempt to research and learn Prolog programming using Constraint Logic Programming (CLP). The work here was greatly ...
note

Concurrent Constraint Programming④ Prologで十分

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

Logic Programming & Inference Engines (Prolog)

This repository showcases the power of the declarative paradigm through two distinct applications developed in SWI-Prolog. Unlike imperative programming, these projects focus on defining formal ...
note

CHR-PrologによるRCSP（N対N配車)③生成文法の検証☑

N対N配車をCHR-Prolog風に解いてみたいんだよ。 例を上げるとノードが6個で互いに接続しているグラフを考える。 これをなるべく距離が短く、各拠点で積み込む荷物が車格以下で、時間指定がある拠点の到着時刻をクリアするという制約を考える。 Prolog風に ...
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 ...