constraint-handling-rules

4熱

1答えて

実行時にCHR制約を定義する

実行時にSWI-Prologで新しい制約を生成するプログラムを作成しようとしています。 is_true([A,means,B])は、実行時に別の制約を生成することを意図している： :- use_module(library(chr)). :- chr_constraint is_true/1. is_true([A,means,B]) ==> (is_true(A) ==> is_true(

swi-prolog constraint-handling-rules 2017-08-12

---

1熱

1答えて

制約処理ルールによる無限再帰の回避

Constraint Handling Rulesを使用して、SWI-Prologに簡単な制約条件を記述しました。私はmeans([3,is,equal,to,4],[3,equals,4])はtrueことが期待が、それは代わりに、無限再帰を引き起こしているようだ %If A means B, then B means A. means(A,B) ==> means(B,A). %If A

prolog constraint-programming constraint-handling-rules 2016-09-09

---

1熱

1答えて

C++でconstraint_handlersを使用

私は_set_invalid_parameter_handler関数を使用するC＃でコードを持っています。それはWindows固有で、私は標準のC++でこのコードを書き直そうとしているので、Linux上で動作します。 この機能をどのように翻訳するのかよくわかりません。私はおそらくhttp://en.cppreference.com/w/c/error/set_constraint_handler_

c# c++ constraint-handling-rules 2017-07-11

---