]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80def45) | patch
correct can_be/2 for partial lists
authorMarkus Triska <[email protected]>
Fri, 28 Sep 2018 16:16:10 +0000 (18:16 +0200)
committerMarkus Triska <[email protected]>
Fri, 28 Sep 2018 16:20:57 +0000 (18:20 +0200)
commit373546e83d07ba89a6a8a268c85cac0f9f42e547
treecab3d056611c114e9b885788e1b7b44fbcd71d6atree | snapshot
parent80def45d383825082426626971fd53c17759f350commit | diff
correct can_be/2 for partial lists

Example:

    ?- can_be(list, [a,b|Ls]).
    %@ true.
src/prolog/lib/error.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust