From: Mark Thom Date: Sat, 9 Aug 2025 04:11:46 +0000 (-0700) Subject: Merge pull request #3026 from triska/DEDUCTION X-Git-Tag: v0.10.0~33 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=61f8bc008c4aca4bbaae0d2065e0ed461bcb911e;p=scryer-prolog.git Merge pull request #3026 from triska/DEDUCTION mention the DEDUCTION Programme --- 61f8bc008c4aca4bbaae0d2065e0ed461bcb911e