問題タブ [logicblox]

LogiQL でロジック ファイルが実行されている特定の日時を取得するにはどうすればよいですか?

私が本質的に望んでいるのは、この時間を一意の識別子として使用するために、特定のロジックがエンジンによって処理されている一意の時間を特定する方法です。

LogicBlox プロジェクトで測定サービスを使用しようとしています。私が公開しようとしている階層は単純です。

これらの述語はすべてhierarchy:calendar名前空間に存在します。メジャー サービスのメタ データを追加するために、プロジェクト ファイルで「実行」するように設定した .logic ファイルに次のものを用意しました。

これをコンパイルしてワークスペースにデプロイすると、次のエラーが発生します。

私は何を間違っていますか、そして/またはこれをどのようにデバッグしますか?

新しいバージョンの logicblox (4.2.1 より後の任意のバージョン) では、述語 "Person(p), hasPNr(p:n) -> int(n)" がある場合。そして、「+Person(p),+hasPNr[p]=1」というデータを挿入します。次に「-Person(1)」でデータを削除したい場合。「警告: 式 '1' の型は 'int' ですが、型 'Person' の値が必要です。コンパイラは、コードのコンパイルを許可するために述語 'hasPNr' の使用を挿入しました。」という警告メッセージが表示されます。このメッセージなしでデータを削除するにはどうすればよいですか?

LogicBlox / LogiQL で autoNumbered refmode 述語を操作する方法を知りたい

マニュアルの例に従いましたが、エンティティの述語に事実をアサートするのに問題があります。最初の述語は追加されますが、その後の試みはそうではありません。

LBインタラクティブシェルで私がやろうとしたことは次のとおりです。

How can I achieve the same functionality as lb web-client import --import file.csv --full http://service-uri with an HTTP request made with a tool like cURL?

LogicBlox で「暗黙の」ロジックをエンコードしたいと考えています。私は述語を持っています：

そして、その述語にいくつかのデータを追加します。

ここで、数字 2 と数字 3 を作成し、この論理規則に従ってこれら 2 つの数字の真理値を作成します。

isTrue[1] が true の場合、isTrue[2] が true または isTrue[3] が true です。(isTrue[1] は (isTrue[2] または isTrue[3]) を意味します)

だから私は述語を作成します：

次に、次のようなルールを作成しようとします。

しかし、LogicBlox レポート:「エラー: 論理和は、ルールの先頭ではサポートされていません」

では、これをエンコードして LogicBlox のロジックを暗示するにはどうすればよいでしょうか?