Hello, I'm looking to use JESS within an application where second-order logic is needed (or at least it makes things easier). Does JESS support second-order logic in any form?
For example, a rule such as: (ruleDef (factPredicate ?foo) (factArgs ?bar)) => (assert (?foo ?bar))) is an example of the structure I am looking for (where factPredicate is a String slot and factArgs is a multislot). The LHS of the rule compiles fine (with the appropriate ruleDef deftemplate), but the RHS throws an exception as it is expecting a template name after assert. -- - Thanks, Sam Sarjant www.samsarjant.com