From: Mark Thom Date: Mon, 30 Jan 2023 03:23:52 +0000 (+0100) Subject: Merge pull request #1727 from triska/clpz_corrections X-Git-Tag: v0.9.2~202 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=26a8fc1a37488d2de0907fbbe05c0f7386f4f5b3;p=scryer-prolog.git Merge pull request #1727 from triska/clpz_corrections DOC: use valid Prolog terms as predicate indicators --- 26a8fc1a37488d2de0907fbbe05c0f7386f4f5b3