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

Groups > comp.lang.javascript > #44805

Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

Show all headers | 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