<cke> it refused my code

<cke> christian, are you on the phone, I cannot hear you?

seq(1 2 ?x ?y a b c)

if team-rif-chairs@w3.org = ?z then...

if seq(1 2 ?x ?y a b c) = ?z then...

if ?z[1]=& AND ?z[2]=?x AND... then ...

if seq(1 2 ?x ?y a b c) = ?z then...

if ?z[1]=& AND ?z[2]=?x AND... then ...

<cke> ILOG JRules uses "equals" to compare objects, and among them lists. The previous = should work

if seq(1 2 ?x ?y a b c) = ?z then...

<gary> if seq(?x ?y) = ?z and ?x = ?y then ...

((a b) c (a b ) c)

((a b) c)

<gary> if _o[_p->?z] and seq(?x ?y) = ?z and ?x = ?y then ...

<gary> if _o[_p->seq(?x ?y)] and ?x = ?y then ...

<gary> if ?z[1] = ?z[2] and ?z.size = 2 then ...

<gary> if seq(1 2 ?x ?y a b c) = ?z then...

<gary> if ?z[1]=1 and ?z[2]=2 and ?z[3]=?x and ...

<cgi-irc> Isnt the problem that Javabased tools only deal with abstract lists eg arrays, not LISP type lists?

<cgi-irc> e.g. I can set up an array in Java that is a list, but I can only refer to it in a rule by its reference (variable)

<cgi-irc> e.g. sample operations: X is in Y, X.count, X[n], etc

http://lists.w3.org/Archives/Public/public-rif-wg/2009Mar/0086.html

http://www.w3.org/2005/rules/wiki/Lists

if seq(1 2 ?x ?y a b c) = ?z then...

if ?z[1]=1 AND ?z{2]=?x AND...

<gary> if ?z[1]=1 and ?z[2]=2 and ?z[3]=?x and ...

<gary> if rif:list-contains(?z, ?x)

<cke> list equality can be supported

<cke> this form is OK: if seq(1 2 ?x ?y a b c) = ?z then...

<PaulVincent2> Surely lists in PRD will be mutable (and optionally some will be readonly)

<cke> I need to give you an update on XML schema

<cke> lists are mutable only in the action part.

<cke> it's a modify behavior, the initial list is modified

<gary> PROPOSED: lists are immutable

add-to-list(a ?x)

<PaulVincent2> X = X.append(Y)

mofiy(?z a+?x)

<cke> if you want a copy, you should do: list.copy().append(el)

mofiy(?x a+?x)

<PaulVincent2> Is everyone on the call?

<gary> you are not

are you still there?

<gary> cke and I are here

<gary> you were dropped

So, I was talking for nothing

<cke> lists should be mutable. If you do not want to change the iitial list, you can copy it

<gary> yes, more so than usual :-)

But I was arguing in favor of your proposal, Gary :-)

<PaulVincent2> So mutability is via modify only... which seems consistent

<gary> we have to finish!

<gary> all 3 days, 12 hrs/day !!!

This is scribe.perl Revision: 1.135  of Date: 2009/03/02 03:52:20  
Check for newer version at http://dev.w3.org/cvsweb/~checkout~/2002/scribe/

Guessing input format: RRSAgent_Text_Format (score 1.00)

No ScribeNick specified.  Guessing ScribeNick: csma
Inferring Scribes: csma

WARNING: No "Topic:" lines found.

Default Present: cke, csma, Gary_Hallmark, Paul_Vincent
Present: cke csma Gary_Hallmark Paul_Vincent

WARNING: No meeting title found!
You should specify the meeting title like this:
<dbooth> Meeting: Weekly Baking Club Meeting


WARNING: No meeting chair found!
You should specify the meeting chair like this:
<dbooth> Chair: dbooth

Got date from IRC log name: 24 Mar 2009
Guessing minutes URL: http://www.w3.org/2009/03/24-RIF-PRD-minutes.html
People with action items: 

WARNING: Input appears to use implicit continuation lines.
You may need the "-implicitContinuations" option.


WARNING: No "Topic: ..." lines found!  
Resulting HTML may have an empty (invalid) <ol>...</ol>.

Explanation: "Topic: ..." lines are used to indicate the start of 
new discussion topics or agenda items, such as:
<dbooth> Topic: Review of Amy's report