From: Mark Thom Date: Mon, 16 Sep 2024 23:41:53 +0000 (-0600) Subject: Merge pull request #2534 from hurufu/document_non_counted_backtracking X-Git-Tag: v0.10.0~114 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0bc3d67298709f7b59d46fe70f4b403d3e48c734;p=scryer-prolog.git Merge pull request #2534 from hurufu/document_non_counted_backtracking Document non counted backtracking --- 0bc3d67298709f7b59d46fe70f4b403d3e48c734