droolsの後進連鎖のクエリについて

Question

droolsの後進連鎖について調べています。
以下のサイトにおいて実際のコードを例示して頂けているのですがコメント欄なども無いようなので
ここで質問させていただきました。

Droolsでの後進連鎖の例

上記の例の中で以下のような部分があります。

query belongsTo(String x, String y)
    Fact(x, y;)
    or
    (Fact(z, y;) and belongsTo(x, z;))
end

JavaかMvelで記述されているようなのですが4行目から使用されているzという変数はどの様な意味なのでしょうか？
特に事前に宣言もされていないので何かの決まり事なのかなと思いましたが…
何か知っていることがあればよろしくお願いします。

Answer 1

決まり事のようですね。

ｚじゃなくても良いみたいですが。

21.10. HOUSE OF DOOM 例のデシジョン (後向き連鎖および再帰)

query isContainedIn( String x, String y )
  Location( x, y; )
  or
  ( Location( z, y; ) and isContainedIn( x, z; ) )
end

rule "go2"
  when
    String( this == "go2" )
    isContainedIn("Drawer", "House"; )
  then
    System.out.println( "Drawer is in the House" );
end

1. クエリーは再帰的に、家の中の複数レベルを検索して、Drawer と House の間の推移閉包を検出します。
2. Drawer は House に直接含まれないため、Location( x, y; ) を使用する代わりに、このクエリーは (z, y; ) の値を使用します。
3. z の引数は現在バインドされておらず、値が指定されていないため、引数に含まれるものはすべて返されます。

以下、リンク先に詳細な評価方法が記載されています。

21.10. HOUSE OF DOOM 例のデシジョン (後向き連鎖および再帰)

Comments

[退会済みユーザー]

回答ありがとうございます。お約束なんですね。
頂いたページを見るとどういう仕組みかだいたいわかりました。
ありがとうございます！