-
I think there's a problem with how PreconditionForAll
attempts to bind the consequence. It resets it and then
calls a 'bind' with the premise's current binding.
However, reset() can assign a binding to the
consequence that is incompatible with the premise's
current binding - a conflict that will not be noticed.
For example
(forall (?v) ((p ?v)) ((q ?v) (not (w ?v))))
with a state...
2006-11-06 16:18:07 UTC in SHOP
-
sumpfork committed revision 137 to the neveredit SVN repository, changing 3 files.
2006-04-15 16:26:19 UTC in neveredit
-
sumpfork committed revision 136 to the neveredit SVN repository, changing 1 files.
2006-04-15 16:16:23 UTC in neveredit
-
sumpfork committed revision 135 to the neveredit SVN repository, changing 1 files.
2006-04-15 16:15:53 UTC in neveredit
-
sumpfork committed revision 134 to the neveredit SVN repository, changing 1 files.
2006-04-15 16:15:16 UTC in neveredit
-
sumpfork committed revision 133 to the neveredit SVN repository, changing 21 files.
2006-04-15 16:14:28 UTC in neveredit
-
sumpfork committed revision 132 to the neveredit SVN repository, changing 3 files.
2006-04-03 13:50:02 UTC in neveredit
-
sumpfork committed revision 131 to the neveredit SVN repository, changing 1 files.
2006-04-03 13:46:02 UTC in neveredit
-
sumpfork committed revision 130 to the neveredit SVN repository, changing 2 files.
2006-04-03 13:45:12 UTC in neveredit
-
sumpfork committed revision 129 to the neveredit SVN repository, changing 1 files.
2006-04-03 13:42:46 UTC in neveredit
