Whats the difference from a query and a rule in rules engines in general. As i understand it. a rule is propositional logic "if X then Y" / X :- Y. But is query something else or is it just a rule where X is some direct match lookup?

It seems in clara that rules can have arguments, is that right?

@drewverlee queries gives you an external hook to pull data from the session. It has no RHS. When you “call” the query you get the matches as a result. The match’s have all the variable bindings of the rule bound by those keys for you to access.

You can parameterize a query. When you call it, you bind those parameters.

Normal rules can’t be parameterized like this because you don’t “call” into rules directly.