:- inf.
! Ausführung dauert länger als 7 (reine CPU-) Sekunden
inf :-
	inf.

-----         n599 ------------------------
Goals that do not terminate within a certain amount of time are reported as errors. With the help of time-outs also infinite computations give almost immediate feed-back to the student.
**NEXT:See how infinite queries are handled.
[logprog|GUPU|UWN]