From: Mark Thom Date: Tue, 11 Aug 2020 18:54:34 +0000 (-0300) Subject: Merge pull request #667 from triska/clpb_taut X-Git-Tag: v0.9.0~174^2~13 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5fa3b9f2fbfb18dca8f756dc88a24df80c9c8f6e;p=scryer-prolog.git Merge pull request #667 from triska/clpb_taut omit internal attributes in residual goals when using taut/2 --- 5fa3b9f2fbfb18dca8f756dc88a24df80c9c8f6e