問題タブ [datalog]

解釈されない関数は muZ でサポートされていますか?

次のようなことをしたいと思います。

fしかし、Z3 が次の出力を返すため、定義を提供する必要があるようです。

関数をリレーションとしてモデリングすることでうまくいくと思いますが、別の回避策があるかどうかを確認したかったのです...

ありがとう！

-N

私のコードには、次のような「schemeList」と呼ばれるオブジェクトがあります。

私が問題を抱えている関数は「addScheme」です。これはスキームを頭に追加するか、頭がいっぱいの場合は尾に追加することになっています（リンクリストのような方法で）。これが私がこれまで持っている機能です：

これは、最初のスキームを追加する場合には問題なく機能しますが、2 番目のスキームでは「未処理の例外...」というエラーがスローされます。以前にこのような問題がありましたが、toAddオブジェクト全体を渡すのではなく、参照によって変数を渡すことで修正しました。これがエラーをスローするのはなぜですか、またはどのように修正すればよいですか?

物事をより明確にする場合、スキームは次のとおりです。

トークンは次のとおりです。

作成中のアプリケーションのデータベース バックエンドとして datalog を使用することを検討しています。これは、収集したデータを犠牲にしたり、面倒な移行を作成したりすることなく、表現を簡単に切り替えることができる可能性があるためです。

しかし、データの変更をどのように処理するかは予測できません。たとえば、ユーザーが変更できるパスワードのような単純なものです。行に日付のタグを付けるというアイデアがありました：

次に最新のものを使用しますが、すべての行を返してアプリケーション側でフィルタリングせずに最新のものを取得する方法はないようです。

データログ アプリケーションは、変化するデータを処理するためにどのように設計されていますか?

私は、pyDatalog を使用して sqlite データベースを照会するプログラムに取り組んでいます。データベースのキー テーブルは Event で、次のように定義されています。

その後、各イベントは詳細テーブルを参照して詳細情報を表示します。

私ができるようにしたいのは、シーケンス内の各イベントに対して一連のクエリを実行することです。ルールセットは、pyDatalog.load() を使用して外部ファイルからロードされます。

私が問題を抱えている部分は、各イベント ID への参照を Python からデータログに渡すことです。「TypeError: オブジェクトは照会されたクラスと互換性がありません」というエラーが表示され続けます。

デバッグのために、ルールを次のように減らしました。

クエリを実行するコードは次のようになります (より大きなクラスの一部)。

「query='parent(bill,X)'」行のコメントを外すと、問題なく動作します ((bill, 'John Adams') タプルを出力します) が、「query = 'getEvent(...」行で、上記の最後の行で上記のエラーで失敗し続けます。

このエラーの意味と、イベント ID への参照を pyDatalog に正しく渡す方法を知っている人はいますか?

述語規則の本体で全称量指定子を使用したい、つまり次のようなもの

A(x,y) <- ∀B(x,a), C(y,a).

これは、C(y, a ) の各aに対して、B(x, a ) が常に (x, a ) に一致する x を持つ場合にのみ、A(x,y) が真であることを意味します。

Datalog では、ルール本体で境界付けられたすべての変数がデフォルトで存在量指定子であるため、aも存在量指定子になります。述語規則の本体で全称量指定子を表現するにはどうすればよいですか?

ありがとうございました。

PS 私が使用している Datalog エンジンは logicblox です。