% Example for the importance of considering the position of a cut in a conjunction. % Author: Thomas Stroeder % non-terminating %query: p p :- r. r :- !, q. r :- q. q. q :- r.
content may be truncated. 'popout' for larger text window.
