]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: adc7798) | patch
ENHANCED: use call_residue_vars/2 to show all pending constraints
authorMarkus Triska <[email protected]>
Thu, 30 Mar 2023 21:29:49 +0000 (23:29 +0200)
committerMarkus Triska <[email protected]>
Thu, 30 Mar 2023 21:49:33 +0000 (23:49 +0200)
commit8ab1155fc56c8dbc826fba374c844bdacf0653a5
tree43724c37975fbea1e0afc986c21b9fb37c424102tree | snapshot
parentadc77985d7fc69cea354c4aaa6a833c2fc50ab7dcommit | diff
ENHANCED: use call_residue_vars/2 to show all pending constraints

Example:

    ?- freeze(_, false).
       freeze:freeze(_A,false).

This was originally added in 04ba9bc11af31780cd8fa259d78d151262c3c756,
then reverted, and is now restored.
src/toplevel.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust