Re: ANN: Dogelog Player 1.1.6 (HTTP Client)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.javascript
Subject	Re: ANN: Dogelog Player 1.1.6 (HTTP Client)
Date	2024-04-02 01:18 +0200
Message-ID	<uuffc4$13pd$1@solani.org> (permalink)
References	<uscsdk$12mjt$3@solani.org> <utmtac$1nl0n$3@solani.org>

Show all headers | View raw

Starting with the Sudoku solver we have recently
obtained we developed a Puzzle generator together
with an interactive game play. The result can be
run in a web page by means of Dogelog Player 1.2.0
for JavaScript. Both the Puzzle generator and the
game play were written in 100% Prolog.

Regin Filtering from SWI-Prolog CLP(FD) didn’t
make a dent for generating unique puzzles, all we
could do was provide 34 clues, and our solver takes
in the average 1000 ms. We also implemented valid
move checking by reusing the constraints and an undo
move queue via dynamic facts.

See also:

Game Play of Spock Doku
https://twitter.com/dogelogch/status/1774936304335159561

Game Play of Spock Doku
https://www.facebook.com/groups/dogelog

Mild Shock schrieb:
> 
> Dogelog Player is a Prolog system that features
> a generational garbage collector scheme and a
> change_arg/3 primitive built-in. So far the two
> didn’t go together and we had to use a cludge.
> With the upcoming release we provide a proper
> solution based on marking write-barriers.
> 
> Our remembered set on the variable binding trail
> has the benefit that it can reduce itself during
> backtracking. By adopting conductor variables, i.e.
> instantiated variables that are not trailed, from
> formerly Jekejeke Prolog, we could recreate a
> similar benefit for Dogelog Players change_arg/3.
> 
> See also:
> 
> Marking Write-Barriers for Dogelog Player
> https://twitter.com/dogelogch/status/1771559896741192186
> 
> Marking Write-Barriers for Dogelog Player
> https://www.facebook.com/groups/dogelog

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

Thread

ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-07 18:10 +0100
  Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-10 19:09 +0100
    Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-10 23:49 +0100
      Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Lawrence D'Oliveiro <ldo@nz.invalid> - 2024-03-11 00:49 +0000
        Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-11 09:06 +0100
          Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-11 09:07 +0100
            Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Lawrence D'Oliveiro <ldo@nz.invalid> - 2024-03-11 20:46 +0000
              Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-12 00:19 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Lawrence D'Oliveiro <ldo@nz.invalid> - 2024-03-12 00:43 +0000
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-13 02:05 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Lawrence D'Oliveiro <ldo@nz.invalid> - 2024-03-13 02:28 +0000
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-13 12:54 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-13 13:01 +0100
    Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-13 02:06 +0100
  Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-23 16:43 +0100
    Re: ANN: Dogelog Player 1.1.6 (HTTP Client) John Harris <niam@jghnorth.org.uk.invalid> - 2024-03-24 10:39 +0000
      Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-24 12:23 +0100
        Re: ANN: Dogelog Player 1.1.6 (HTTP Client) John Harris <niam@jghnorth.org.uk.invalid> - 2024-03-26 11:06 +0000
          Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-26 20:21 +0100
            Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-26 20:25 +0100
            Re: ANN: Dogelog Player 1.1.6 (HTTP Client) John Harris <niam@jghnorth.org.uk.invalid> - 2024-03-27 14:12 +0000
              Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-27 23:52 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-27 23:56 +0100
              Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-28 00:07 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-28 00:16 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-28 00:21 +0100
    Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-04-02 01:18 +0200

csiph-web