- From: <jos.deroo@agfa.com>
- Date: Mon, 6 Feb 2006 01:06:05 +0100
- To: semantic-web@w3.org
really being triggered by ajar http://groups.csail.mit.edu/dig/2005/ajar/ajaw/tab.html and also seeing the beauty of the tree proof generation at http://www.umsu.de/logik/trees/ all done in javascript, I started writing euler.js and it is actually a proof engine of only 85 lines of javascript http://eulersharp.sourceforge.net/2006/02swap/euler.js that can prove http://eulersharp.sourceforge.net/2006/02swap/socrates.html http://eulersharp.sourceforge.net/2006/02swap/graph.html as a beginning -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 6 February 2006 00:06:26 UTC