]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cab0e43) | patch
add meta_predicate declaration for with_local_attributes/3
authorMarkus Triska <[email protected]>
Wed, 3 Feb 2021 22:45:06 +0000 (23:45 +0100)
committerMarkus Triska <[email protected]>
Wed, 3 Feb 2021 22:45:21 +0000 (23:45 +0100)
commit24e6c31c4429d52b11b5ed7a4e798c63b27d854e
treed1e7eb70cdaa43c0bc57f7173e3e69b1b223ff44tree | snapshot
parentcab0e4395ab3c5478d344aa9393cf44499228eadcommit | diff
add meta_predicate declaration for with_local_attributes/3

This is needed for all_distinct/1 etc.

Example:

    ?- all_distinct([X,Y,Z]).
       clpz:all_distinct([X,Y,Z])
    ;  false.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust