(See also #31)
| ?- !->!.
Loops, more precisely:
| ?- call((write(hic),!,write(hoc)->true)). hic
... and then it loops.
Log in to post a comment.