- From: Dan Connolly <connolly@w3.org>
- Date: Wed, 20 Dec 2006 15:34:31 -0600
- To: jos.deroo@agfa.com
- Cc: public-cwm-talk@w3.org
On Tue, 2006-12-19 at 21:03 -0600, Dan Connolly wrote: > > > % hg clone http://homer.w3.org:8765/ euler-py-hg [...] > Next up: move toward the Russel/Norvig logic.py Expr() class, > and the related JSON representation from n3absyn.py , which > I updated yesterday to more closely match logic.py . I'm trying to understand the Step() class and the prove() function; I'm a little stuck. For example, why copy the rule and the step here? 140 r = Step(copy.copy(c.parent.rule), c.parent.src, 141 copy.copy(c.parent.parent), c.parent.env, c.parent.ind) -- http://homer.w3.org:8765/?f=4abf7397cdb2;file=euler.py I can see why you need to copy env's when you change them, but for everything else, I don't see why you need to make copies. and what are the .ind and .src fields in the Step() class for? p.s. I think email is a little clumsy for these details; I hope to run into you on skype; I wish your firewall didn't prevent you from doing #swig. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Wednesday, 20 December 2006 21:34:49 UTC