[cells-devel] *causation*

Kenny Tilton ktilton at nyc.rr.com
Thu May 26 01:27:54 UTC 2005


It's back. *causation* is now bound to a "stack" of propagating cells, 
where the last element of the list is the original cause.

Of course, to achieve proper backout this really needs to become more 
history than stack, because propagation sweeps a tree of dependencies, 
and the FAIL even can arise in a second branch of propagation, at which 
point a stack will have lost track of the first branch of propagation.

Over to you, Prolog fans.

kenny





More information about the cells-devel mailing list