あーそういえば ECLiPSe-CLPの本、Pure Prologの解説だけ読んだ後積ん読のままだ。ここらへん詳しく書いてあるかな……。

naruoganaruoga のブックマーク 2011/02/16 12:08

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

Constraint Handling Rules - Wikipedia

    Constraint Handling Rules(CHR)は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である[1] [2]。 多重集合の書き換え規則に基づく制約処理モデルを特...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう