From Newsgroup: sci.math

Hi,

Thats was fun, maybe somebody did use the Stoic Grisu,
no delusional digits, only zeros:

/* Dogelog Player for Java, Dogelog Player for JavaScript */

?- between(95,105,N), format('~6f', [pi**N]), nl, fail; true. 169526621072093600000000000000000000000000000000.000000 532583587347989900000000000000000000000000000000.000000 1673160685434943000000000000000000000000000000000.000000 5256389317637680000000000000000000000000000000000.000000 16513434064698400000000000000000000000000000000000.000000 51878483143195920000000000000000000000000000000000.000000 162981061522046250000000000000000000000000000000000.000000 512020105551926600000000000000000000000000000000000.000000 1608558602092203000000000000000000000000000000000000.000000 5053435887201532000000000000000000000000000000000000.000000 15875837058619354000000000000000000000000000000000000.000000
true.

/* Dogelog Player for CPython, Scryer Prolog */

?- between(95,105,N), format("~6f", [pi**N]), nl, fail; true. 169526621072093604906820176085840076682051977216.000000 532583587347989896682185959640830761243896709120.000000 1673160685434943094521965146828670065372972449792.000000 5256389317637679918948413843353324366868288372736.000000 16513434064698399680249672647558109095601897472000.000000 51878483143195924744806997083865846970332907307008.000000 162981061522046250302000391689502574507182910341120.000000 512020105551926606134531253131181174736461909458944.000000 1608558602092203016045060452811678201001748662845440.000000 5053435887201532208668864202632055738347047857684480.000000 15875837058619353962143820726017670908628371861667840.000000
true.

/* SWI-Prolog */

?- between(95,105,N), format('~6f', [pi**N]), nl, fail; true. 169526621072093767166097005299203468260062265344.000000 532583587347990464589654861887602631766932717568.000000 1673160685434944717114733438962303981153075331072.000000 5256389317637684462208165061327499331052576440320.000000 16513434064698415257140248252040994687090885132288.000000 51878483143195987052369299501797389336288857948160.000000 162981061522046416455499864803986687483065445384192.000000 512020105551927104595029672474633513664109514588160.000000 1608558602092204677580055183956519330760574013276160.000000 5053435887201537525580847342295547353575288979062784.000000 15875837058619369912879770145008145754313095225802752.000000
true.

The Prolog systems with the delusional digits made my day,
they even don't agree in the delusional digits itself.
--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

Ok, leaving the beaten path of my Prolog system
probing, and look at some newer beast.

This looks bad:

?- format('~6f', [pi**14]), nl.
9122171.18175435

Expected result:

?- format('~6f', [pi**14]), nl.
9122171.181754

Bye

BTW: Tested using this test tester:

X-Machines Virtual Machine (XVMrao) is a neurosymbolic virtual AI
processor which combines neural processes with symbolic reasoning. https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe

Mild Shock schrieb:

See also:
https://prolog-lang.org/ImprovementsForum/0110-format.html

--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

The 9122171.18175435 is a little offending, what if one
keeps a federal secret after the 6 fraction digit?

Bye

Mild Shock schrieb:

Hi,

Ok, leaving the beaten path of my Prolog system
probing, and look at some newer beast.

This looks bad:

?- format('~6f', [pi**14]), nl.
9122171.18175435

Expected result:

?- format('~6f', [pi**14]), nl.
9122171.181754

Bye

BTW: Tested using this test tester:

X-Machines Virtual Machine (XVMrao) is a neurosymbolic virtual AI
processor which combines neural processes with symbolic reasoning. https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe

Mild Shock schrieb:

See also:
https://prolog-lang.org/ImprovementsForum/0110-format.html

--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: sci.math

On 04/28/2026 05:38 PM, Mild Shock wrote:

Hi,

The 9122171.18175435 is a little offending, what if one
keeps a federal secret after the 6 fraction digit?

Bye

Mild Shock schrieb:

Hi,

Ok, leaving the beaten path of my Prolog system
probing, and look at some newer beast.

This looks bad:

?- format('~6f', [pi**14]), nl.
9122171.18175435

Expected result:

?- format('~6f', [pi**14]), nl.
9122171.181754

Bye

BTW: Tested using this test tester:

X-Machines Virtual Machine (XVMrao) is a neurosymbolic virtual AI
processor which combines neural processes with symbolic reasoning.
https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe

Mild Shock schrieb:

See also:
https://prolog-lang.org/ImprovementsForum/0110-format.html

Or shaves pennies.


--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,


Ross Finlayson schrieb:

Or shaves pennies.

X-Machines Virtual Machine (XVMrao) is a neurosymbolic virtual AI
processor which combines neural processes with symbolic reasoning.
https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe

Cost/hour: $200,000.00

LoL

Bye

P.S.: If it could do some quant trading magic, one would
possibly pay so much. But Logtalk is simply too lame:

Version release notes
XVM Engine v10.2.4 is the full engine capable of running
all XVM and Logtalk programs, excluding for logtalk tools.

On 04/28/2026 05:38 PM, Mild Shock wrote:

Hi,

The 9122171.18175435 is a little offending, what if one
keeps a federal secret after the 6 fraction digit?

Bye

Mild Shock schrieb:

Hi,

Ok, leaving the beaten path of my Prolog system
probing, and look at some newer beast.

This looks bad:

?- format('~6f', [pi**14]), nl.
9122171.18175435

Expected result:

?- format('~6f', [pi**14]), nl.
9122171.181754

Bye

BTW: Tested using this test tester:

X-Machines Virtual Machine (XVMrao) is a neurosymbolic virtual AI
processor which combines neural processes with symbolic reasoning.
https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe

Mild Shock schrieb:

See also:
https://prolog-lang.org/ImprovementsForum/0110-format.html

Or shaves pennies.

--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

How it started:

Trealla Prolog is being updated for the
proposal (only failing some of the table
related tests as of v2.85.19).

How its going:

The test case for ~r and ~R are useless.
Very bad converage for a format/3 that does
not have some Spaghetti logic. Big integer

and negative numbers missing. Now I find:
```
/* Trealla Prolog v2.94.3 */
?- format('~11R', [-7625597484987]), nl.
%%% crash
```
Main problem how does one get coverage
without thinking? Copying from "ghost" Quintus
manual doesn't assure coverage. Theoretically

a coverage tool, that shows code coverage when
a test suite is run, would help. Still it might
not capture certain data points if the code

doesn't have according branching. So it needs
either more human effort or fuzz testing.

https://de.wikipedia.org/wiki/Fuzzing

Bye
--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: sci.math

On 04/30/2026 08:51 AM, Mild Shock wrote:

Hi,

How it started:

Trealla Prolog is being updated for the
proposal (only failing some of the table
related tests as of v2.85.19).

How its going:

The test case for ~r and ~R are useless.
Very bad converage for a format/3 that does
not have some Spaghetti logic. Big integer

and negative numbers missing. Now I find:
```
/* Trealla Prolog v2.94.3 */
?- format('~11R', [-7625597484987]), nl.
%%% crash
```
Main problem how does one get coverage
without thinking? Copying from "ghost" Quintus
manual doesn't assure coverage. Theoretically

a coverage tool, that shows code coverage when
a test suite is run, would help. Still it might
not capture certain data points if the code

doesn't have according branching. So it needs
either more human effort or fuzz testing.

https://de.wikipedia.org/wiki/Fuzzing

Bye

Fuzzy Wuzzy was a bear, ....


--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: sci.math

On 04/29/2026 02:20 AM, Mild Shock wrote:

Hi,

Ross Finlayson schrieb:

Or shaves pennies.

X-Machines Virtual Machine (XVMrao) is a neurosymbolic virtual AI
processor which combines neural processes with symbolic reasoning.
https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe

Cost/hour: $200,000.00

LoL

Bye

P.S.: If it could do some quant trading magic, one would
possibly pay so much. But Logtalk is simply too lame:

Version release notes
XVM Engine v10.2.4 is the full engine capable of running
all XVM and Logtalk programs, excluding for logtalk tools.

On 04/28/2026 05:38 PM, Mild Shock wrote:

Hi,

The 9122171.18175435 is a little offending, what if one
keeps a federal secret after the 6 fraction digit?

Bye

Mild Shock schrieb:

Hi,

Ok, leaving the beaten path of my Prolog system
probing, and look at some newer beast.

This looks bad:

?- format('~6f', [pi**14]), nl.
9122171.18175435

Expected result:

?- format('~6f', [pi**14]), nl.
9122171.181754

Bye

BTW: Tested using this test tester:

X-Machines Virtual Machine (XVMrao) is a neurosymbolic virtual AI
processor which combines neural processes with symbolic reasoning.
https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe

Mild Shock schrieb:

See also:
https://prolog-lang.org/ImprovementsForum/0110-format.html

Or shaves pennies.

Those "traders" who seek "liquidity"
and "investors" who seek "safety",
have that those traders weren't investors
and now there's no liquidity and they got no safety
and now they get nothing.


--- Synchronet 3.21f-Linux NewsLink 1.2