Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #15553

Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Was: Lets see what the "experts" say)

From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.prolog
Subject Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Was: Lets see what the "experts" say)
Date 2026-04-29 00:38 +0200
Message-ID <10srcsf$14g17$1@solani.org> (permalink)
References <104ld1i$1vsct$1@solani.org> <104ld75$1vsct$2@solani.org>

Show all headers | View raw

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.

Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Scryer Prolog totally clueless how DCGs work Mild Shock <janburse@fastmail.fm> - 2025-07-09 11:33 +0200
  Lets see what the "experts" say (Was: Scryer Prolog totally clueless how DCGs work) Mild Shock <janburse@fastmail.fm> - 2025-07-09 11:36 +0200
    Payed Ass-Lickers all around (Was: Lets see what the "experts" say) Mild Shock <janburse@fastmail.fm> - 2025-07-09 11:38 +0200
      Its all about the money, not about quality (Was: Payed Ass-Lickers all around) Mild Shock <janburse@fastmail.fm> - 2025-07-09 11:42 +0200
        A case of dumbification by committee membership? (Was: Its all about the money, not about quality) Mild Shock <janburse@fastmail.fm> - 2025-07-09 20:01 +0200
    The stack overflow user by the name false (Was: Lets see what the "experts" say) Mild Shock <janburse@fastmail.fm> - 2025-07-15 11:50 +0200
      The choice is a little arbitrary from one angle (Re: The stack overflow user by the name false) Mild Shock <janburse@fastmail.fm> - 2025-07-15 11:59 +0200
    Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Was: Lets see what the "experts" say) Mild Shock <janburse@fastmail.fm> - 2026-04-29 00:38 +0200
  Does Scryer Prolog have all tricks up its sleeves? [Occurs Check] (Was: Scryer Prolog totally clueless how DCGs work) Mild Shock <janburse@fastmail.fm> - 2025-08-04 19:47 +0200
    How hard is PIP-0110 to implement? (Was: Does Scryer Prolog have all tricks up its sleeves?) Mild Shock <janburse@fastmail.fm> - 2026-04-26 22:43 +0200
      What about the rubber band ~t (Was: How hard is PIP-0110 to implement?) Mild Shock <janburse@fastmail.fm> - 2026-04-27 10:50 +0200
        Addendum Bresenham yatter, yatter (Was: What about the rubber band ~t) Mild Shock <janburse@fastmail.fm> - 2026-04-27 16:03 +0200
          Testing NVIDIA A10G / XVM Engine v10.2.4 (Permion Federal AI) (Was: Addendum Bresenham yatter, yatter) Mild Shock <janburse@fastmail.fm> - 2026-04-29 02:12 +0200
            This could be a serious security vulnerability (Was: Testing NVIDIA A10G / XVM Engine v10.2.4) Mild Shock <janburse@fastmail.fm> - 2026-04-29 02:22 +0200
              Logtalk big time salami slicing [For "Whales" (ultra-high rollers)?] (Re: This could be a serious security vulnerability) Mild Shock <janburse@fastmail.fm> - 2026-04-29 11:21 +0200
      format/3 that does not have some Spaghetti logic (Was: How hard is PIP-0110 to implement?) Mild Shock <janburse@fastmail.fm> - 2026-04-30 17:49 +0200

csiph-web