matching variables with variables in cwm

Something very weird is happening here.

I'm trying to write rules about rules, to see if that would do what 
Lalana wanted.
To do this, I'm trying to see if one rule is more general than the other.

To do that, I'm trying to match the rules then use log:includes.

This is failing. The variables are not unifying as variables.



Yosi

Received on Wednesday, 30 March 2005 01:33:46 UTC