format/2 doesn't agree with Trealla or SWI (Was: Is old school mode directed compilation dead?)

Sujet : format/2 doesn't agree with Trealla or SWI (Was: Is old school mode directed compilation dead?)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 25. Jan 2025, 14:13:33

Autres entêtes

Message-ID : <vn2o1s$f81a$1@solani.org>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.20

Possibly it does round away from zero and not half-even:
/* Trealla Prolog 2.63.33 & SWI-Prolog 9.0.4 */
?- format('~0f ~0f', [1.5, 2.5]), nl.
2 2
/* Scryer Prolog 0.9.4-286 */
?- format("~0f ~0f", [1.5, 2.5]), nl.
1 2
Pitty there is no Prolog Improvement Proposals (PIP) for format/2.
https://prolog-lang.org/ImplementersForum/PIPs

Date	Sujet	#	Auteur
1 Sep 24	Holy Shit: AI is cheaper than Humans (Was: The road to Artificial Intelligence)	34	Mild Shock
1 Sep 24	AI robots from Disney (Was: Holy Shit: AI is cheaper than Humans)	10	Mild Shock
3 Sep 24	I can't stand Mira Murati's Eyewash (Was: AI robots from Disney (Was: Holy Shit: AI is cheaper than Humans))	9	Mild Shock
3 Sep 24	After blue, green why not start yellow (Re: I can't stand Mira Murati's Eyewash)	8	Mild Shock
25 Sep 24	miramurati bye bye (Re: After blue, green why not start yellow)	7	Mild Shock
1 Dec 24	Im memoriam Doug Lenant (1950 - 2023) (Re: miramurati bye bye)	1	Mild Shock
1 Dec 24	"superhumaness" excels "stackoverflow reputation" (Was: Im memoriam Doug Lenant (1950 - 2023)	5	Mild Shock
1 Dec 24	para-governemental institution of violence (Re: "superhumaness" excels "stackoverflow reputation")	1	Mild Shock
14 Mar 25	Not only $TSLA is on fire sale! [The Decline of Prolog] (Was: "superhumaness" excels "stackoverflow reputation")	3	Mild Shock
14 Mar 25	Re: Not only $TSLA is on fire sale! [The Decline of Prolog] (Was: "superhumaness" excels "stackoverflow reputation")	1	Mild Shock
19 May09:54	Splitting up the Prologue to Prolog	1	Mild Shock
5 Sep 24	Safe Superintelligence (SSI): Now they are dancing	9	Mild Shock
5 Sep 24	Re: Safe Superintelligence (SSI): Now they are dancing	8	Mild Shock
9 Sep 24	Salem Aleikum: Maxwella's Equations	2	Mild Shock
10 Sep 24	non judicium, sed latrocinium (Re: Salem Aleikum: Maxwella's Equations)	1	Mild Shock
13 Sep 24	Internet was made for cats (Re: Safe Superintelligence (SSI): Now they are dancing)	5	Mild Shock
13 Sep 24	I was there, 3000 years ago (Re: Internet was made for cats)	2	Mild Shock
13 Sep 24	Even Haitians are now voting for Trump (Re: I was there, 3000 years ago (Re: Internet was made for cats))	1	Mild Shock
17 Sep 24	supply chain attack (Was: Internet was made for cats(	2	Mild Shock
11 Oct 24	Polyfill Supply Chain Attack (Was: supply chain attack)	1	Mild Shock
15 Sep 24	USA is shitting its pants (Was: Holy Shit: AI is cheaper than Humans)	14	Mild Shock
18 Sep 24	scryer prolog is dead, BILAI instead? (Was: USA is shitting its pants)	11	Mild Shock
8 Oct 24	Microsoft is plagiarizing my Invention [LLMs under the hood]	2	Mild Shock
8 Oct 24	Geoffrey Hinton / Nobelpreis für Physik [Re: Microsoft is plagiarizing my Invention [LLMs under the hood]]	1	Mild Shock
1 Dec 24	thank you for the FLOPs (Was: scryer prolog is dead, BILAI instead?)	8	Mild Shock
24 Jan 25	Is old school mode directed compilation dead? (Was: thank you for the FLOPs)	5	Mild Shock
24 Jan 25	Re: Is old school mode directed compilation dead? (Was: thank you for the FLOPs)	4	Mild Shock
25 Jan 25	format/2 doesn't agree with Trealla or SWI (Was: Is old school mode directed compilation dead?)	1	Mild Shock
25 Jan 25	DCG Translation with Unification Spillling (Was: Is old school mode directed compilation dead?)	2	Mild Shock
25 Jan 25	Re: DCG Translation with Unification Spillling (Was: Is old school mode directed compilation dead?)	1	Mild Shock
4 Mar 25	Will WASM be fast some time? (Was: thank you for the FLOPs)	2	Mild Shock
4 Mar 25	Re: Will WASM be fast some time? (Was: thank you for the FLOPs)	1	Mild Shock
14 Nov 24	Book Project: WomanLogic (Re: USA is shitting its pants)	2	Mild Shock
14 Nov 24	Re: Book Project: WomanLogic (Re: USA is shitting its pants)	1	Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal