2

次のルールを考慮してください。

pyDatalog.create_atoms('X')
pyDatalog.create_atoms('Y')

pyDatalog.create_atoms('a')
pyDatalog.create_atoms('b')

b(X,1) <= (X<0)
b(X,Y) <= (X==1) & (Y>0)
a(X,Y) <= b(X,Y) & (X>0)

そして、満たす制約を見つける問題: a(X,1)

問題は、pyDatalog を使用してリスト [(X==1)] を作成できますか? または [(X>0), (X==1)]?

ありがとう、

4

1 に答える 1

2

残念ながら、少なくとも現在のバージョンではそうではありません:-)

pyDatalog は、説明したような一般的な制約の問題ではなく、個別の制約の問題を解決できます。pyDatalog は、X>0 のような基準ではなく、値のみを返すことができます。

注: 最初の 4 つのステートメントを 1 つにまとめることができます。

pyDatalog.create_atoms('X, Y, a, b')
于 2013-05-02T21:44:20.473 に答える