From: Mark Thom Date: Fri, 4 Aug 2023 21:25:42 +0000 (-0600) Subject: Merge pull request #1950 from triska/chars_si X-Git-Tag: v0.9.2~13 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cc82727d20daec20ec484a6152f0d6740dfd2793;p=scryer-prolog.git Merge pull request #1950 from triska/chars_si ENHANCED: more efficient chars_si/1, using specialized predicates of Scryer --- cc82727d20daec20ec484a6152f0d6740dfd2793