From: Mark Thom Date: Wed, 29 Nov 2023 20:52:38 +0000 (-0700) Subject: Merge pull request #2187 from triska/term_si X-Git-Tag: v0.9.4~93 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4f4feba6fcc5d7ffb0af8ad684fcfcf12f29e155;p=scryer-prolog.git Merge pull request #2187 from triska/term_si ADDED: term_si/1, true for terms --- 4f4feba6fcc5d7ffb0af8ad684fcfcf12f29e155