Deutsch English Français Italiano |
<uuffeb$13pd$3@solani.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!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.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== Bytes: 2626 Lines: 46 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