I was looking to build a Prolog-ish logic-programming layer on top of Cells, and looking at how to do this, it looks like basic support could be added to Cells itself pretty easily. Here's what I'm thinking. We add a new type of Cell, let's call it a Generator. Data propogation proceeds as usual, but when we get to a Generator, we mark this on a stack. If evaluation of some formula calls FAIL, we go back to the last Generator, evaluate it again, and resume data propogation from there. Any pending inputs from code that was backtracked over would of course be thrown out.
Any thoughts? It's a holiday here on thursday, so I'm thinking about hacking on this then.
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Thomas,
Am 24.05.2005 um 17:46 schrieb Thomas F. Burdick:
I was looking to build a Prolog-ish logic-programming layer on top of Cells, and looking at how to do this, it looks like basic support could be added to Cells itself pretty easily. Here's what I'm thinking. We add a new type of Cell, let's call it a Generator. Data propogation proceeds as usual, but when we get to a Generator, we mark this on a stack. If evaluation of some formula calls FAIL, we go back to the last Generator, evaluate it again, and resume data propogation from there. Any pending inputs from code that was backtracked over would of course be thrown out.
Fits nicely with what I want to do also. I need to implement a Neural Net and this would be a real good start I think. Need to do analyzing CAD data and do automatic classification of the contents. ... Go ahead! ;-)
Any thoughts? It's a holiday here on thursday, so I'm thinking about hacking on this then.
Some of the nicer aspects of living in Germany - a load of public holidays.
With best wishes from Stuttgart
Frank
-
Frank Goenninger DG1SBG -
Thomas F. Burdick