IRC log of RIF-PRD on 2009-03-24
Timestamps are in UTC.
- 18:11:23 [RRSAgent]
- RRSAgent has joined #RIF-PRD
- 18:11:24 [RRSAgent]
- logging to http://www.w3.org/2009/03/24-RIF-PRD-irc
- 18:11:31 [cke]
- it refused my code
- 18:11:34 [csma]
- zakim, room for 6?
- 18:11:36 [Zakim]
- ok, csma; conference Team_(rif-prd)18:11Z scheduled with code 26631 (CONF1) for 60 minutes until 1911Z
- 18:11:49 [cke]
- zakim, what is the code?
- 18:11:49 [Zakim]
- the conference code is 26631 (tel:+1.617.761.6200 tel:+33.4.89.06.34.99 tel:+44.117.370.6152), cke
- 18:12:09 [csma]
- rrsagent, make log public
- 18:12:18 [csma]
- rrsagent, make minutes
- 18:12:18 [RRSAgent]
- I have made the request to generate http://www.w3.org/2009/03/24-RIF-PRD-minutes.html csma
- 18:12:48 [Zakim]
- Team_(rif-prd)18:11Z has now started
- 18:12:55 [Zakim]
- +??P1
- 18:13:06 [csma]
- zakim, ??P1 id cke
- 18:13:07 [Zakim]
- I don't understand '??P1 id cke', csma
- 18:13:16 [csma]
- zakim, ??P1 is cke
- 18:13:16 [Zakim]
- +cke; got it
- 18:13:27 [cke]
- christian, are you on the phone, I cannot hear you?
- 18:13:41 [Zakim]
- +Paul_Vincent
- 18:13:43 [Zakim]
- -cke
- 18:13:44 [Zakim]
- +cke
- 18:14:14 [gary]
- gary has joined #rif-prd
- 18:14:19 [csma]
- zakim, Paul_Vincent contains csma
- 18:14:19 [Zakim]
- +csma; got it
- 18:14:39 [gary]
- zakim, what is the code?
- 18:14:39 [Zakim]
- the conference code is 26631 (tel:+1.617.761.6200 tel:+33.4.89.06.34.99 tel:+44.117.370.6152), gary
- 18:15:03 [Zakim]
- +Gary_Hallmark
- 18:16:24 [PaulVincent]
- PaulVincent has joined #rif-prd
- 18:18:14 [csma]
- seq(1 2 ?x ?y a b c)
- 18:19:03 [csma]
- if team-rif-chairs@w3.org = ?z then...
- 18:19:32 [csma]
- if seq(1 2 ?x ?y a b c) = ?z then...
- 18:20:41 [csma]
- if ?z[1]=& AND ?z[2]=?x AND... then ...
- 18:21:31 [PaulV]
- PaulV has joined #rif-prd
- 18:21:47 [csma]
- if seq(1 2 ?x ?y a b c) = ?z then...
- 18:21:57 [csma]
- if ?z[1]=& AND ?z[2]=?x AND... then ...
- 18:22:11 [cke]
- ILOG JRules uses "equals" to compare objects, and among them lists. The previous = should work
- 18:23:38 [csma]
- if seq(1 2 ?x ?y a b c) = ?z then...
- 18:23:46 [gary]
- if seq(?x ?y) = ?z and ?x = ?y then ...
- 18:25:40 [csma]
- ((a b) c (a b ) c)
- 18:25:57 [csma]
- ((a b) c)
- 18:25:57 [gary]
- if _o[_p->?z] and seq(?x ?y) = ?z and ?x = ?y then ...
- 18:27:03 [gary]
- if _o[_p->seq(?x ?y)] and ?x = ?y then ...
- 18:29:06 [gary]
- if ?z[1] = ?z[2] and ?z.size = 2 then ...
- 18:31:54 [gary]
- if seq(1 2 ?x ?y a b c) = ?z then...
- 18:32:01 [cgi-irc]
- cgi-irc has joined #rif-prd
- 18:32:24 [gary]
- if ?z[1]=1 and ?z[2]=2 and ?z[3]=?x and ...
- 18:32:52 [cgi-irc]
- Isnt the problem that Javabased tools only deal with abstract lists eg arrays, not LISP type lists?
- 18:33:31 [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)
- 18:34:39 [cgi-irc]
- e.g. sample operations: X is in Y, X.count, X[n], etc
- 18:44:16 [PaulVincent]
- PaulVincent has joined #rif-prd
- 18:46:40 [csma]
- http://lists.w3.org/Archives/Public/public-rif-wg/2009Mar/0086.html
- 18:47:02 [csma]
- http://www.w3.org/2005/rules/wiki/Lists
- 18:49:30 [csma]
- if seq(1 2 ?x ?y a b c) = ?z then...
- 18:50:02 [csma]
- if ?z[1]=1 AND ?z{2]=?x AND...
- 18:50:42 [gary]
- if ?z[1]=1 and ?z[2]=2 and ?z[3]=?x and ...
- 18:52:07 [gary]
- if rif:list-contains(?z, ?x)
- 18:52:40 [cke]
- list equality can be supported
- 18:53:23 [cke]
- this form is OK: if seq(1 2 ?x ?y a b c) = ?z then...
- 18:55:23 [PaulVincent2]
- PaulVincent2 has joined #rif-prd
- 18:55:54 [PaulVincent2]
- Surely lists in PRD will be mutable (and optionally some will be readonly)
- 18:55:59 [cke]
- I need to give you an update on XML schema
- 18:57:31 [cke]
- lists are mutable only in the action part.
- 18:58:11 [cke]
- it's a modify behavior, the initial list is modified
- 18:58:58 [gary]
- PROPOSED: lists are immutable
- 18:59:09 [csma]
- add-to-list(a ?x)
- 18:59:18 [PaulVincent2]
- X = X.append(Y)
- 18:59:37 [csma]
- mofiy(?z a+?x)
- 19:00:00 [cke]
- if you want a copy, you should do: list.copy().append(el)
- 19:00:46 [Zakim]
- -Paul_Vincent
- 19:00:59 [csma]
- mofiy(?x a+?x)
- 19:01:12 [PaulVincent2]
- Is everyone on the call?
- 19:01:23 [gary]
- you are not
- 19:01:26 [csma]
- are you still there?
- 19:01:33 [gary]
- cke and I are here
- 19:01:40 [gary]
- you were dropped
- 19:01:43 [csma]
- So, I was talking for nothing
- 19:01:50 [cke]
- lists should be mutable. If you do not want to change the iitial list, you can copy it
- 19:02:01 [gary]
- yes, more so than usual :-)
- 19:02:03 [csma]
- But I was arguing in favor of your proposal, Gary :-)
- 19:02:20 [Zakim]
- +Paul_Vincent
- 19:02:52 [PaulVincent2]
- So mutability is via modify only... which seems consistent
- 19:11:04 [gary]
- we have to finish!
- 19:11:58 [gary]
- all 3 days, 12 hrs/day !!!
- 19:13:40 [Zakim]
- -Gary_Hallmark
- 19:13:41 [Zakim]
- -Paul_Vincent
- 19:13:41 [Zakim]
- -cke
- 19:13:43 [Zakim]
- Team_(rif-prd)18:11Z has ended
- 19:13:44 [Zakim]
- Attendees were cke, csma, Gary_Hallmark, Paul_Vincent
- 19:14:04 [csma]
- rrsagent, make minutes
- 19:14:04 [RRSAgent]
- I have made the request to generate http://www.w3.org/2009/03/24-RIF-PRD-minutes.html csma
- 19:14:16 [csma]
- zakim, list attendees
- 19:14:16 [Zakim]
- sorry, csma, I don't know what conference this is
- 19:31:39 [csma]
- csma has left #rif-prd