Sujet : How working with GitHub feels (Was: 50 Years of Prolog Nonsense)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prologDate : 13. Mar 2024, 15:45:59
Autres entêtes
Message-ID : <ussamm$1a7ro$1@solani.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.1
Yeah today I created a ticket in GitHub issues.
Now I need to take a SPA nap:
Cute Kitten Really Enjoys SPA
https://www.youtube.com/watch?v=L7lVrWY9zQEP.S.: No wonder Scryer Prolog has 242 tickets:
https://github.com/mthom/scryer-prolog/issuesMostowski Collapse schrieb:
Rounding still not fixed in Scryer Prolog. Look
what a nice test case I am using:
?- atom_integer(X, 2, 166153499473114502559719956244594689).
X = '1000000000000000000000000000000000000000
000000000000010000000000000000000000000000000
000000000000000000000000000000001'.
And whats the result:
$ target/release/scryer-prolog -v
"v0.9.1-151-g17450520"
$ target/release/scryer-prolog
?- X is float(166153499473114502559719956244594689).
X = 1.661534994731145e35.
?- Y = 1.6615349947311452e+35.
Y = 1.6615349947311452e35.
?- X is float(166153499473114502559719956244594689)-1.6615349947311452e+35.
X = -3.6893488147419103e19.
?-
Its not correctly rounded!
How working with GitHub feels (Was: 50 Years of Prolog Nonsense)
Re: How working with GitHub feels (Was: 50 Years of Prolog Nonsense)