Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier)

Liste des GroupesRevenir à s math 
Sujet : Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.math
Date : 28. Apr 2026, 23:41:15
Autres entêtes
Message-ID : <10srd2b$14g17$3@solani.org>
References : 1 2
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.23
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.

Date Sujet#  Auteur
28 Apr23:41 * Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier)7Mild Shock
29 Apr01:15 +* Testing NVIDIA A10G / XVM Engine v10.2.4 (Permion Federal AI) (Re: Prolog PIP-0110: Its a Floating-Point Multiverse?)4Mild Shock
29 Apr01:38 i`* This could be a serious security vulnerability (Re: Testing NVIDIA A10G / XVM Engine v10.2.4)3Mild Shock
29 Apr10:20 i `* Logtalk big time salami slicing [For "Whales" (ultra-high rollers)?] (Was: This could be a serious security vulnerability)2Mild Shock
30 Apr17:13 i  `- Re: Logtalk big time salami slicing [For "Whales" (ultra-high rollers)?] (Was: This could be a serious security vulnerability)1Ross Finlayson
30 Apr16:51 `* format/3 that does not have some Spaghetti logic (Re: Prolog PIP-0110: Its a Floating-Point Multiverse?)2Mild Shock
30 Apr17:11  `- Re: format/3 that does not have some Spaghetti logic (Re: Prolog PIP-0110: Its a Floating-Point Multiverse?)1Ross Finlayson

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal