• Stored Hashes for Dogelog Player (Re: ANN: Dogelog Player 2.1.5 (Basic

    From Mild Shock@3:633/10 to All on Tue Mar 17 11:44:39 2026
    Subject: Stored Hashes for Dogelog Player (Re: ANN: Dogelog Player 2.1.5 (Basic Indexicals))

    Hi,

    Dogelog Player is a Prolog system for the JavaScript,
    Python and Java target with libraries mostly written
    in 100% Prolog. Among the libraries we find tree maps
    library(util/tree) and hash maps library(util/hash).
    To speed up hash maps for frozen compounds we
    introduced precomputed hashes.

    Stored .hash values are popular through the Java
    .hashCode() contract. Prolog systems shy away because
    of additional memory or in favor of other data structures.
    We show that they can be also beneficial for frozen
    compounds and demonstrate a 2x times speed-up
    for distinct/1.

    Bye

    See also:

    Stored Hashes for Dogelog Player
    https://medium.com/2989/f440f2fe7d43

    Mild Shock schrieb:

    Dear All,

    We are happy to announce a new edition
    of the Dogelog Player:

    - Enhanced core:
    Special values are numbers, but neither integer
    nor float. The introduced special values so far
    are positive and negative infinity denoted by
    0rInf respectively -0rInf. Comparisons such as
    max/3, (<)/2, etc.. has been extended, but
    otherwise an error is thrown.

    - Enhanced library(compat):
    We did some predicate reshuffling, like the
    predicate acyclic_term/1 went from library(compat)
    to library(cycle) and the predicate divmod/4 went
    from library(math) to library(compat). A new
    evaluable function in library(compat) is gcd/3,
    which has been natively realized for the JavaScript,
    Python and Java target.

    - New Basic Indexicals:
    In search of the ultimate perfect crystal skull
    for some new Railgun CLP(Z) v11, that will compete
    with Z3 and Gecode, we found ghost patterns of
    Rina Dechters Bucket elimination. The buckets are
    now dancing and singing equipped with interval arithmetic
    and linear form detection, not running in circles
    because we do without propagation fixpoints.

    Have Fun!

    Jan Burse, https://www.herbrand.ai/ , 23.02.2026


    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)