JESS: [EXTERNAL] Second order JESS?

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