Re: [PRD] Issues to resolve before publication (NAU)

Mark Proctor wrote:
>>
>> I was aware only of CLIPS. You mention Jess as well. Ok. That is 
>> already more than I thought. Let us continue the discussion along that 
>> line.
> 
> This is related to "named" arguments on patterns? i..e. a pattern for
> (person (name "mark") (age 32) )
> "including named-arguments atoms in PRD will force all the languages 
> that do not have them to implement the feature,"
> 
> Which PR system doesn't support this? ilog does, drools does, clips 
> does, jess does, opsj/fic does ?

I am not aware that ILOG supports the kind of "slotted relations" BLD 
does, that we call NAUs: what construct do you have in mind, specifically?

> I'm am heavily against the push to forcing bindings of patterns so that 
> we have to do
> $p : Person()
> eval( $p.name == "mark", $p.age == 32)

Do you mean that you do not want to bind an explicit variable? Like in:
If exists Person(name=="mark", age==32)
then Print("There is at least one 32 years old named Mark")

If yes, that is more like anonymous frames than NAU (but I must admit 
that I never quite understood what NAU really are); and, indeed, ILOG 
supports that.

If no, can you clarify, please?

Cheers,

Christian