1. Forum
  2. Usenet
  3. COMP.LANG.PROLOG

  • Re: How working with GitHub feels (Was: 50 Years of Prolog Nonsense)

    From Mild Shock@21:1/5 to Mild Shock on Wed Mar 13 15:05:34 2024
    Or maybe its a seasonal effect related to Springtime lethargy. https://en.wikipedia.org/wiki/Springtime_lethargy.

    Mild Shock schrieb:
    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=L7lVrWY9zQE

    P.S.: No wonder Scryer Prolog has 242 tickets: https://github.com/mthom/scryer-prolog/issues

    Mostowski 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!



    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mild Shock@21:1/5 to Mostowski Collapse on Wed Mar 13 14:45:59 2024
    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=L7lVrWY9zQE

    P.S.: No wonder Scryer Prolog has 242 tickets: https://github.com/mthom/scryer-prolog/issues

    Mostowski 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!


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)