Path: csiph.com!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.lang.javascript
Subject: Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)
Date: Thu, 30 Nov 2023 00:47:00 +0100
Message-ID: <uk8ihk$2527h$3@solani.org>
References: <uih2lk$194oa$3@solani.org> <uiiol6$1a0k5$4@solani.org> <ujkrsp$1r0vq$4@solani.org> <ujl05l$1ravq$3@solani.org> <ujvdfs$20dee$3@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 29 Nov 2023 23:47:00 -0000 (UTC)
Injection-Info: solani.org; logging-data="2263281"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.17.1
Cancel-Lock: sha1:eWagggc52egGpo9JwKdYUVPhMls=
X-User-ID: eJwNy9EBRDEEBMCW4rAoZ5H0X8K7+R9XCCYMDvPnL/WyuZWl1iZD7HqrSeHKEc+caQbBc8//sQL2qit+J+n7AV8TFZY=
In-Reply-To: <ujvdfs$20dee$3@solani.org>
Xref: csiph.com comp.lang.javascript:44805


Dogelog Player is a Prolog system 100% written
in Prolog itself. To enable SAT solvers we
gave it a generational garbage collector and
saw performance gain Java 42%, JavaScript 51%
and Python 61%. We compare here with a few
ther Prolog systems.

There are some pratical examples, such as a
half-adder, that take less space in Read-Muller
expansion than in Boolean expansion. The test
suite contains 4 satisfiablity and 4 counting
test cases. Interestingly Dogelog Player for Java
is not last thanks to the performance gain.

See also:

SAT Solvers for Dogelog Player
https://twitter.com/dogelogch/status/1730006702936772841

SAT Solvers for Dogelog Player
https://www.facebook.com/groups/dogelog

Mild Shock schrieb:
> Dogelog Player is a Prolog system for the
> JavaScript, Python and Java platform. We
> were facing some test cases that created
> huge amounts of Prolog terms and in the
> same time had a failure driven loop removing
> them at once again. Can our garbage collector
> deal with that?
> 
> Tri-color can be used to identify old and
> new variables. We went on and implemented a
> variant of David Ungars generation scavenging.
> We could gain various benefits with a new
> gc_minor() routine, and the winner was a
> backtracking friendly heuristic when to
> call it or not.
> 
> See also:
> 
> Generational GC for Dogelog Player
> https://twitter.com/dogelogch/status/1728641232413307092
> 
> Generational GC for Dogelog Player
> https://www.facebook.com/groups/dogelog
>