Fork me on GitHub
Oliver George02:10:19

Thanks @mikerod & @wparker. No great surprise. I did wonder if keeping track of inputs for truth maintenance provided a mechanism to detect a loop. e.g. If one of my inputs is based on my output then raise exception.


Yeah I’m not sure. There may be some possibility for the truth maintenance to detect a cycle in the automatic retraction stuff. Haven’t thought that one through before.