TYPOL:withsubject & fail

[kuehne@isa.informatik.th-darmstadt.de (Thomas Kuehne)]

Hello Typol experts,

I suspect the 'withsubject' construct of TYPOL to sometimes not correctly handle
the case, if the Goal it should proove fails.

I have an example which behaves very strange.
When I click 'Fail' in the debbugger on some rule that is executed within
the 'withsubject', the Debbugger displays 'FAIL' but after one 'Step'
TYPOL execution returns with 'true.'??? Everything after the last 'Step'
is out of my control.

In another example I switch heavily between different trees 
(with differnt roots) using the 'withsubject'.
A minor bug is, that the first subject of the tree I have changed to with
the 'withsubject' is not selected in the ctedit but the message
"Ancestor given is not ancestor of tree given' is put out on the console.
The sons of the first subject are selected correctly in the window.
The real bug is very hard to describe.
I have a rule that is tried a second time after it has failed for no
apparent reason.
Another rule, that just does a 'getannot' on the subject can be prooven
infinitely often???
On the one hand that seems to be logic, because the conditions don't change
so the 'getannot' can be done infinitely often indeed, but this is not the
normal behaviour, is it?
(Normally the rule with the getannot is not used more than once).

All these cases I described above are not disturbing the normal run
of my TYPOL program.

It is just the case of an error, in which for example the error message
is put out on the console infinitely often, although after 'prmess' I
added the predicate 'fail()'.

Maybe you find a bug in the TYPOL execution or maybe you can tell me
whether I am doing illegal things.

Greetings,

	thomas