- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 19 Dec 2006 21:03:27 -0600
- To: jos.deroo@agfa.com
- Cc: Daniel Krech <eikeon@eikeon.com>, Chimezie Ogbuji <ogbujic@bio.ri.ccf.org>, public-cwm-talk@w3.org, public-cwm-talk-request@w3.org, www-archive@w3.org
On Wed, 2006-12-20 at 00:19 +0100, jos.deroo@agfa.com wrote: > Dan Connolly wrote: > [...] > > OK, I started that hg serve process again. But don't try to push to it; > > you're not authorized. > > That is reasonable. > > > Instead, just clone it: > > > > % hg clone http://homer.w3.org:8765/ euler-py-hg > > That worked perfectly and I'm deeply impressed/forwardlooking to work with > Hg > > I'm looking at http://chatlogs.planetrdf.com/swig/latest seeing > http://chatlogs.planetrdf.com/swig/2006-12-19.html#T05-59-09 > * DanC wonders if that's what Jos's reorder(goals, ev) is about > but reorder is not needed at reasoning time and was an experiment > to find out reordered rule premises w.r.t. given query > (a backward chainer is quite sensitive to subgoal reordering). OK. For the purpose of study, I deleted reorder(). I also cleaned up various globals and such: $ hg log --rev 44342a036620:tip --template '#rev#:#node|short# #date| shortdate# #desc|firstline|strip#\n' 81:44342a036620 2006-12-17 jpywork 82:370b9ec993ec 2006-12-19 eliminate step global in favor of callback 83:fb547a7c414d 2006-12-19 factor load() out of run() 84:44d2c530b692 2006-12-19 get rid of remaining globals: why, once, Debug 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 . 05:04:25 * DanC commits n3absyn.py 1.11 http://chatlogs.planetrdf.com/swig/2006-12-19.html#T05-04-25 > Will stay tuned to your JSON/N3 progress and feel it will work! -- 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 03:03:45 UTC