It's almost as if I need to specify a "partial derivation" or "partial
unification"
of the Fact type, which is only asserted once a rule indicates that it is
providing the "unbound" portion of the derivation. I understand queries can
be used for some sort of partial unification, but I have no clue how to apply
them to my problem and I can't find any good examples or documentation
on their usage/behavior.
I don't fully understand what you are trying to achieve, but I think what you
are asking for is the Trait support that has just been introduced in the latest release?
Have a look at the latest release notes and see if that helps you.
Thomas
**************************************************************************************
This message is confidential and intended only for the addressee. If you have received
this message in error, please immediately notify the postmaster(a)nds.com and delete it from
your system as well as any copies. The content of e-mails as well as traffic data may be
monitored by NDS for employment and security purposes. To protect the environment please
do not print this e-mail unless necessary.
NDS Limited. Registered Office: One London Road, Staines, Middlesex, TW18 4EX, United
Kingdom. A company registered in England and Wales. Registered no. 3080780. VAT no. GB 603
8808 40-00
**************************************************************************************