Path: ...!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.2.0 (Binary Streams)
Date: Wed, 19 Jun 2024 02:12:18 +0200
Message-ID: <v4t7p3$1rd2b$2@solani.org>
References: <v2kb8u$kakr$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 19 Jun 2024 00:12:19 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1946699"; 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:TacNIq4gMOSCTQ0s9FsBhXmmdGg=
X-User-ID: eJwFwYEBwCAIA7CXpBaY5yjQ/09Y4jssKhkedLmqOK92i6f1ItsubaGux3xIPFDTDR019k2HYsAzi6XJ/AGDvhaJ
In-Reply-To: <v2kb8u$kakr$2@solani.org>
Bytes: 2897
Lines: 55


Dogelog Player is a Prolog system that supports
JavaScript, Python and Java in its targets. We
show how the JavaScript support can be used to
perform some proof search and proof rendering
directly in the browser. A versatile format for
proof objects are λμ-expressions.

We explored proof searches dubbed Dragalin and
Fitting, whereas the later outperforms the former.
The extracted λμ-expressions are used to display
Gentzen and Fitch style proofs. The Fitch style
proofs turn out to be more compact, but we are
still investigating some further reductions.

See also:

Simple λμ-Calculus in Dogelog Player
https://twitter.com/dogelogch/status/1803200066066456876

Simple λμ-Calculus in Dogelog Player
https://www.facebook.com/groups/dogelog

Mild Shock schrieb:
> Dear All,
> 
> We are happy to announce a new edition
> of the Dogelog player:
> 
> - Quasi-Parallel Loader:
>    The Prolog text loader is now task aware.
> Although tasks are only quasi-parallel, issues
> of mutex might appear, which have been solved
> by using the meta call shield/1 which temporarly
> disables auto-yield. Back traces showing the
> current file loading chain are now task local.
> 
> - Binary Files:
>    As before the target platforms JavaScript
> nodeJS, Python and Java support file system
> access. A new open option type/1 has been added,
> which can have the values 'text' or 'binary' and
> which defaults to 'text'. 'binary' is simply
> treated as 'text' with latin1 encoding instead of utf8.
> 
> - Binary HTTP:
>    To give the benefit of a simple binary
> treatment to the HTTP protocol as well, i.e. no
> extra get_byte/[1,2] builtins and no extra byte
> array datatype, since codes and atoms can be used
> as before, we braught the type/1 option to the
> APIs of the HTTP clients and the HTTP servers.
> 
> Have Fun!
> Jan Burse, 22.05.2024, http://www.xlog.ch/