Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

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> (permalink)
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

Show key headers only | View raw

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
>

Back to comp.lang.javascript | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <janburse@fastmail.fm> - 2023-11-08 23:38 +0100
  Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <bursejan@gmail.com> - 2023-11-09 06:01 -0800
    Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <bursejan@gmail.com> - 2023-11-22 05:15 -0800
      Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <bursejan@gmail.com> - 2023-11-22 05:17 -0800
  Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <janburse@fastmail.fm> - 2023-11-22 14:36 +0100
    Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <janburse@fastmail.fm> - 2023-11-26 13:25 +0100
      Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <janburse@fastmail.fm> - 2023-11-30 00:47 +0100

csiph-web