Fork me on GitHub
#clara
<
2017-10-01
>
olivergeorge02: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.

mikerod03:10:11

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.