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


Groups > comp.lang.python > #197242

Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess)

From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.python
Subject Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess)
Date 2025-02-11 12:15 +0100
Message-ID <vofbg6$35so$2@solani.org> (permalink)
References <vmt1l3$bokb$2@solani.org> <vmtopp$c5ui$3@solani.org> <vo2kjh$11mi6$3@solani.org> <vo7m0a$14pkn$4@solani.org>

Show all headers | View raw



Dogelog Player is a Prolog system for JavaScript,
Python and Java. It is 100% written in Prolog itself.
We present an enhancement to DCG translation. It uses
unification spilling to reduce the number of needed
unify (=)/2 calls and intermediate variables.

Unification spilling can be readily implemented by
performing unification (=)/2 during DCG translation.
Careful spilling without breaking steadfastness gave
us a 10% — 25% speed increase not only for the calculator
example but also for the Albufeira transpiler.

See also:

DCG Translation with Unification Spilling
https://x.com/dogelogch/status/1889270444647182542

DCG Translation with Unification Spilling
https://www.facebook.com/groups/dogelog

Back to comp.lang.python | Previous | NextPrevious in thread | Next in thread | Find similar


Thread

ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-01-23 10:20 +0100
  Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-01-23 16:55 +0100
    Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-06 16:30 +0100
      Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-11 12:15 +0100
        Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-13 19:12 +0100
          Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-20 11:19 +0100

csiph-web