]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8203eff) | patch
omit internal attributes in residual goals when using taut/2
authorMarkus Triska <[email protected]>
Tue, 11 Aug 2020 18:48:37 +0000 (20:48 +0200)
committerMarkus Triska <[email protected]>
Tue, 11 Aug 2020 18:49:10 +0000 (20:49 +0200)
commitad8e2ad4f6f7f64a29dce96931d00cf18657b039
treea3b07bd7b2ab3c0fc54e8ed4104ae92f13de06e5tree | snapshot
parent8203eff47bddfe80d82b3d4055d34f53172e9b8acommit | diff
omit internal attributes in residual goals when using taut/2

Examples:

    ?- taut(X=:=X,1).
       clpb:sat(X=:=X)
    ;  false.

    ?- taut(X=\=X,0).
       clpb:sat(X=:=X)
    ;  false.
src/lib/clpb.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust