From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 12 Jul 2023 22:21:06 +0000 (-0600)
Subject: Merge pull request #1878 from mthom/lookahead_indexing
X-Git-Tag: v0.9.2~64
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d520046a4f4d75de2cb76d18f46568e5fde3d614;p=scryer-prolog.git

Merge pull request #1878 from mthom/lookahead_indexing

use lookahead to skip inapplicable clauses (#1028, #1502)
---

d520046a4f4d75de2cb76d18f46568e5fde3d614