From: Mark Thom Date: Sat, 23 May 2020 19:02:05 +0000 (-0300) Subject: Merge pull request #563 from triska/master X-Git-Tag: v0.8.127~64 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=828c19d478fd62bb48254b8c142b6b41e7dec375;p=scryer-prolog.git Merge pull request #563 from triska/master ADDED: halt/1, halting with specified exit code --- 828c19d478fd62bb48254b8c142b6b41e7dec375