From: Mark Thom Date: Sat, 8 May 2021 18:39:28 +0000 (-0600) Subject: Merge pull request #932 from pmoura/fix_abolish_bug_with_no_existing_predicates X-Git-Tag: v0.9.0~85 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=56eaf883dc1a49bc8970e676b3bcbeaa41af27af;p=scryer-prolog.git Merge pull request #932 from pmoura/fix_abolish_bug_with_no_existing_predicates Fix abolish/1 to succeed on non-existing predicates as per standard --- 56eaf883dc1a49bc8970e676b3bcbeaa41af27af