From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 14 Dec 2024 04:38:47 +0000 (-0700)
Subject: Merge pull request #2689 from triska/weighted_maybe
X-Git-Tag: v0.10.0~95
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a9a77779e3476bfc2e0e08a0eb9227daff66e222;p=scryer-prolog.git

Merge pull request #2689 from triska/weighted_maybe

introduce and use weighted_maybe/2
---

a9a77779e3476bfc2e0e08a0eb9227daff66e222