From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 22 Aug 2020 23:17:32 +0000 (-0300)
Subject: Merge pull request #682 from triska/dif_improvements
X-Git-Tag: v0.9.0~174^2~8
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cdeb07520f8dd552f2a32689fbc1cc72b577ca07;p=scryer-prolog.git

Merge pull request #682 from triska/dif_improvements

Improvements to dif/2
---

cdeb07520f8dd552f2a32689fbc1cc72b577ca07