[Openmcl-devel] inverse function
rpgoldman at sift.info
Sat Feb 13 15:21:48 UTC 2010
You might want to look at the Screamer package for non-deterministic lisp. To support backtracking it does something related, although undo is simpler than inverse.
Taoufik Dachraoui <taoufik at mazeboard.com> wrote:
>I am having a second thought about side-effects
>If you record all side-effects it would be possible to revert back the
>I am looking at a sequential program as a sequence of actions;
>Any sequence of revertable actions is revertable.
>P1 = a1 a2 ... an
>(inverse P1) = (inverse an) (inverse an-1) ... (inverse a1)
>If for each action you record the context in which it is executed
>then you can deterministically revert the whole program.
>But it is not realistic to record the context of all actions, thus
>I just expect that the (inverse P1) will return all possibilities (as
>in the square/sqrt example).
>Openmcl-devel mailing list
>Openmcl-devel at clozure.com
More information about the Openmcl-devel