Tests in alice.tuprolog.concordion.LogicandControl reveal a bug in '\+'/1
More tests should be formed by '\+'/1
. It should test its argument similarly to what call/1
does.
More tests should be formed by '\+'/1
. It should test its argument similarly to what call/1
does.