From: Markus Triska Date: Thu, 25 Jan 2024 20:31:08 +0000 (+0100) Subject: rely on recently improved argument indexing for determinism X-Git-Tag: v0.9.4~19^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=05ba5f43589efb3e02526ebb7719587b3e4bba77;p=scryer-prolog.git rely on recently improved argument indexing for determinism This is possible as of 4fd37335f576240c25dfbfe6e70441aff166c60e. --- diff --git a/src/lib/format.pl b/src/lib/format.pl index 9280156f..b89f892a 100644 --- a/src/lib/format.pl +++ b/src/lib/format.pl @@ -1,5 +1,5 @@ /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Written 2020-2023 by Markus Triska (triska@metalevel.at) + Written 2020-2024 by Markus Triska (triska@metalevel.at) Part of Scryer Prolog. I place this code in the public domain. Use it in any way you want. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ @@ -302,8 +302,8 @@ format_number_chars(N0, Chars) :- N is N0, % evaluate compound expression number_chars(N, Chars). -n_newlines(0) --> !. n_newlines(N0) --> { N0 > 0, N is N0 - 1 }, [newline], n_newlines(N). +n_newlines(0) --> []. /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ?- phrase(upto_what(Cs, ~), "abc~test", Rest).