]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de452bb) | patch
ADDED: term_si/1, true for terms
authorMarkus Triska <[email protected]>
Wed, 29 Nov 2023 20:24:54 +0000 (21:24 +0100)
committerMarkus Triska <[email protected]>
Wed, 29 Nov 2023 20:25:09 +0000 (21:25 +0100)
commit8cb4dfef62cf9a39a24423fd85cb9431379dcd9f
tree243b58e6609d6b2d587f74a5acb359e236b99d03tree | snapshot
parentde452bb2c2051da0774c5e1504b40305167e84bccommit | diff
ADDED: term_si/1, true for terms

One use case is to ensure that once/1 is safe to use:

    term_si(Goal),
    once(Goal)

In such cases, Goal is ground and can yield at most one solution,
therefore once/1 does not remove any solutions.
src/lib/si.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust