From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 4 Jan 2025 20:23:44 +0000 (-0700)
Subject: Merge pull request #2744 from triska/files
X-Git-Tag: v0.10.0~85
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=531d482ba77a211aef3e3ef08f78ce8b68443d20;p=scryer-prolog.git

Merge pull request #2744 from triska/files

state when the predicates are true
---

531d482ba77a211aef3e3ef08f78ce8b68443d20