From: Mark Thom Date: Mon, 4 Sep 2023 00:39:12 +0000 (-0600) Subject: Merge pull request #1990 from triska/clpb_max X-Git-Tag: remove~117 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e693b7d33b1e1e170814b71b786442558878521e;p=scryer-prolog.git Merge pull request #1990 from triska/clpb_max remove clpb_max/1 attribute for residual goal projection --- e693b7d33b1e1e170814b71b786442558878521e