RetroBBS - comp.lang.python - Re: ANN: Dogelog Player 1.1.6 (HTTP Client)

Re: ANN: Dogelog Player 1.1.6 (HTTP Client)

<utmt9q$1nl0n$2@solani.org>

https://www.rocksolidbbs.com/devel/article-flat.php?id=29729&group=comp.lang.python#29729

copy link Newsgroups: comp.lang.python

Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janburse@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.python
Subject: Re: ANN: Dogelog Player 1.1.6 (HTTP Client)
Date: Sat, 23 Mar 2024 16:42:51 +0100
Message-ID: <utmt9q$1nl0n$2@solani.org>
References: <uscsec$12mjt$4@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 23 Mar 2024 15:42:50 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1823767"; 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.18.1
Cancel-Lock: sha1:rjagSQxVc5Oz5p9pAQTlzVBczVw=
X-User-ID: eJwFwQcBwEAIBDBLzOMrh+lfQhNXMDoMDvPzM5SwPkKfccU4J2UOTphHaOy8oVtc1Ku9C81XOpdfSEB/UyAV0g==
In-Reply-To: <uscsec$12mjt$4@solani.org>

by: Mild Shock - Sat, 23 Mar 2024 15:42 UTC

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

Re: ANN: Dogelog Player 1.1.6 (HTTP Client)

<uuffeb$13pd$3@solani.org>

copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=29786&group=comp.lang.python#29786

copy link Newsgroups: comp.lang.python

Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janburse@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.python
Subject: Re: ANN: Dogelog Player 1.1.6 (HTTP Client)
Date: Tue, 2 Apr 2024 01:19:41 +0200
Message-ID: <uuffeb$13pd$3@solani.org>
References: <uscsec$12mjt$4@solani.org> <utmt9q$1nl0n$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 1 Apr 2024 23:19:39 -0000 (UTC)
Injection-Info: solani.org;
logging-data="36653"; 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.18.2
Cancel-Lock: sha1:UsagQ3oUbP3xO8QAmcn4nO9MIMQ=
In-Reply-To: <utmt9q$1nl0n$2@solani.org>
X-User-ID: eJwVx8ERACEIBLCWFFjQcgCX/ku4ufwC9e0d5nDDYFSVlS8Oh41afKWX97oUpJEpJNVNJdqC+zFE88Q/+JoPefYV/w==

by: Mild Shock - Mon, 1 Apr 2024 23:19 UTC

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.

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

"my terminal is a lethal teaspoon." -- Patricia O Tuama

devel / comp.lang.python / Re: ANN: Dogelog Player 1.1.6 (HTTP Client)

Subject	Author
Re: ANN: Dogelog Player 1.1.6 (HTTP Client)	Mild Shock
Re: ANN: Dogelog Player 1.1.6 (HTTP Client)	Mild Shock