It appears that I have some fundamental misunderstanding about when
you use "?set" and when to use "$?set". My misconception was that a
variable needed to be prefixed with a $ if its value is a set.
Apparently a variable is only prefixed by a $ if it is meant to match
more than one field in a fact in the left hand side of a rule. Is
that correct?
I have a fact template
(deftemplate equiv
(slot type)
(multislot set))
whose "set" slot will be a set (or list?) of atoms which identify
faces, sides, etc.
To faces are "equivalent" (in the sense necessary for my application)
if their identifying atoms are both present in the same such set of
some "eqiv" fact.
I suppose I can test for such equivalence via
(equiv (type face) (set $set))
(test (and (member$ ?thing1 $set) (member$ ?thing2 $set))
in the left hand side of a rule, and thus dispense with the apparently
problematic use of the defquery.
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
--------------------------------------------------------------------
