Dear friends, I can't seem to reproduce this on the latest version (5.6.47-1, amd64):
[EMAIL PROTECTED]:~% time swipl -c bug.pl
Warning: (/home/lamby/bug.pl:41):
Goal (directive) failed: user:proof([a v b], [b v a], _G247, 10)
% bug.pl compiled 5.92 sec, 166,704 bytes
swipl -c bug.pl 5.95s user 0.00s system 99% cpu 5.954 total
Fixed upstream? :)
Regards,
--
Chris Lamb, UK [EMAIL PROTECTED]
GPG: 0x634F9A20
signature.asc
Description: PGP signature
