From: <ki...@cs...> - 2007-11-09 05:01:55
|
The following p(X) :- p(Y). ?- p(a). exits with Heap and local stack are clobbered Exiting XSB abnormally... In theory, this should loop. Is it possible to catch this kind of things and give a hint msg to the user? --michael |