]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22ffb1f) | patch
ENHANCED: format_//2, format/[2,3], portray_clause/1 are now deterministic.
authorMarkus Triska <[email protected]>
Sat, 19 Dec 2020 17:07:43 +0000 (18:07 +0100)
committerMarkus Triska <[email protected]>
Sat, 19 Dec 2020 17:18:14 +0000 (18:18 +0100)
commit4efbc20a4f66c195b43e433547d1c19737fd62ac
treea95d8fabc8d6269b8ac5c8d885346f1f89682e9dtree | snapshot
parent22ffb1f53fd158d7b7f96ca81cf50e37c0936bb5commit | diff
ENHANCED: format_//2, format/[2,3], portray_clause/1 are now deterministic.

This works as soon as #732 is merged, since then maplist/N and foldl/N
are deterministic in the required cases.

This also resolves the extra choicepoint of time/1 (see #378).

Many thanks to @notoria for implementing better indexing in #732,
which allowed me to find this opportunity for improvement!
src/lib/format.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust