Does anyone know of a logical reasoning in tcl package, I guess like prolog does, so a proof mechanism, and maybe a exploration mechanism ?

Like having a saying 'when it rains, the steets get wet', formulating it like:

 it rains ==> the streets get wet

or in tcl:

 set premises(p1) "it rains"
 set premises(p2) "the streets get wet"
 set premises(p3) {impies p1 p2}

As we al know of course, we cannot add the premise 

 set premises(p4) "implies p2 p1"

Unless p3 would be

 doubleimplies p1 p2

Which it isn't because the streets could get wet otherwise.


----