Re: N3 in JSON, euler.py

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