From: Mark Thom Date: Thu, 2 Nov 2023 22:50:01 +0000 (-0600) Subject: Merge pull request #1880 from coasys/library-use-case X-Git-Tag: remove X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cc5e121b90043e5dd5b7b231e8f29ee2b8530cb4;p=scryer-prolog.git Merge pull request #1880 from coasys/library-use-case Programatic use of Machine / Scryer as library --- 575245c62f75d38e2bb66ebc233ae61bdb879347