Message-ID:

Man will never fly. Space travel is merely a dream. All aspirin is alike.

devel / comp.lang.prolog / Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm)

Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm)

<tvfogq$2ein4$1@solani.org>

https://news.novabbs.org/devel/article-flat.php?id=1934&group=comp.lang.prolog#1934

copy link Newsgroups: comp.lang.prolog

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 (Mostowski Collapse)
Newsgroups: comp.lang.prolog
Subject: Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm)
Date: Wed, 22 Mar 2023 21:30:21 +0100
Message-ID: <tvfogq$2ein4$1@solani.org>
References: <ttj11c$1dbai$1@solani.org> <tur605$23si4$2@solani.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 22 Mar 2023 20:30:18 -0000 (UTC)
Injection-Info: solani.org;
logging-data="2575076"; 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.15
Cancel-Lock: sha1:Iu4wvWxmVxYOcq+NtTVEfv8zm9A=
X-User-ID: eJwNyEkBwDAIBEBLnAvIISH4l9DOc1zBuGFwmK+vrWJ4deikDF3J7AvntizSEcroUjnvX8H0iXi8hPCCGvsHSRIUzg==
In-Reply-To: <tur605$23si4$2@solani.org>

by: Mostowski Collapse - Wed, 22 Mar 2023 20:30 UTC

Dogelog Player is a Prolog system 100% written
in Prolog itself. Recently the browser integration
got a new feature in the form of a bind/3 predicate,
that allows registering event listeners. We used it
to provide a little propositional minimal logic explorer.

We search natural deduction proofs and render them
in the HTML page. The used Prolog DOM built-ins
are still experimental. Interestingly, thanks to
a programming language analogy, our proof search
is analytic and needs less iterative deepening.

See also:

Minlog Explorer in Dogelog Player
https://twitter.com/dogelogch/status/1638628045081784321

Minlog Explorer in Dogelog Player
https://www.facebook.com/groups/dogelog

Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm)

<94cb5ae8-65ac-46c2-a2d0-ecdc18ea9cfdn@googlegroups.com>

copy mid

https://news.novabbs.org/devel/article-flat.php?id=1937&group=comp.lang.prolog#1937

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:620a:40d2:b0:743:577d:d756 with SMTP id g18-20020a05620a40d200b00743577dd756mr1417268qko.4.1679761723065;
Sat, 25 Mar 2023 09:28:43 -0700 (PDT)
X-Received: by 2002:a81:b620:0:b0:541:8995:5334 with SMTP id
u32-20020a81b620000000b0054189955334mr2745515ywh.3.1679761722781; Sat, 25 Mar
2023 09:28:42 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 25 Mar 2023 09:28:42 -0700 (PDT)
In-Reply-To: <tvfogq$2ein4$1@solani.org>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <ttj11c$1dbai$1@solani.org> <tur605$23si4$2@solani.org> <tvfogq$2ein4$1@solani.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <94cb5ae8-65ac-46c2-a2d0-ecdc18ea9cfdn@googlegroups.com>
Subject: Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm)
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 25 Mar 2023 16:28:43 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3145

by: Mostowski Collapse - Sat, 25 Mar 2023 16:28 UTC

Dogelog Player is a Prolog system 100% written in Prolog itself
that targets the JavaScript and the Python platform. On the
JavaScript platform the Prolog system can directly run in
the browser. There exists a DOM-API in the form of library(markup).

Related approaches were already pioneered by Tau-Prolog.
We recently developed a sequent system proof search in Prolog
for minimal logic, and used the library to display natural
deduction proofs. We report about an extenson to first order logic.

Gerhard Gentzens paper “Untersuchungen über das logische
Schließen” in 1934 is a real treasure when it comes to theorem
proving. In the classical case it highlights a number of optimizations,
which we could realize in a Prolog technology prover, that despite

the cut-elimination can extract and display natural
deduction proofs for classical first order logic.

See also:

Drinker Paradox in Dogelog Player
https://twitter.com/dogelogch/status/1639662487317389316

Drinker Paradox in Dogelog Player
https://www.facebook.com/groups/dogelog

Mostowski Collapse schrieb am Mittwoch, 22. März 2023 um 21:30:21 UTC+1:
> Dogelog Player is a Prolog system 100% written
> in Prolog itself. Recently the browser integration
> got a new feature in the form of a bind/3 predicate,
> that allows registering event listeners. We used it
> to provide a little propositional minimal logic explorer.
>
> We search natural deduction proofs and render them
> in the HTML page. The used Prolog DOM built-ins
> are still experimental. Interestingly, thanks to
> a programming language analogy, our proof search
> is analytic and needs less iterative deepening.
>
> See also:
>
> Minlog Explorer in Dogelog Player
> https://twitter.com/dogelogch/status/1638628045081784321
>
> Minlog Explorer in Dogelog Player
> https://www.facebook.com/groups/dogelog

Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm)

<900ba2f8-f5e7-4e34-b1ac-558ef3a84c82n@googlegroups.com>

copy mid

https://news.novabbs.org/devel/article-flat.php?id=1952&group=comp.lang.prolog#1952

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:ac8:590d:0:b0:3e1:6129:f094 with SMTP id 13-20020ac8590d000000b003e16129f094mr12151214qty.7.1680390641934;
Sat, 01 Apr 2023 16:10:41 -0700 (PDT)
X-Received: by 2002:a81:a805:0:b0:546:6ef:8baf with SMTP id
f5-20020a81a805000000b0054606ef8bafmr10111904ywh.2.1680390641656; Sat, 01 Apr
2023 16:10:41 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeder1.feed.usenet.farm!feed.usenet.farm!peer02.ams4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 1 Apr 2023 16:10:39 -0700 (PDT)
In-Reply-To: <94cb5ae8-65ac-46c2-a2d0-ecdc18ea9cfdn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <ttj11c$1dbai$1@solani.org> <tur605$23si4$2@solani.org>
<tvfogq$2ein4$1@solani.org> <94cb5ae8-65ac-46c2-a2d0-ecdc18ea9cfdn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <900ba2f8-f5e7-4e34-b1ac-558ef3a84c82n@googlegroups.com>
Subject: Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm)
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 01 Apr 2023 23:10:41 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2039

by: Mostowski Collapse - Sat, 1 Apr 2023 23:10 UTC

Dogelog Player is a Prolog system that is 100%
written in Prolog. To deserve the later label, it
would need to have predicates such as keysort/2,
bagof/3, etc.. also written in Prolog itself.

We added according realizations to demonstrate
Chat-80 in Dogelog Player. As a little extra experiment
we transpiled Chat-80 into a single JavaScript file.
The result is a .mjs file which occupies around

400 kBytes and that loads in less than 100ms. One
can now admire Chat-80 in the browser, answering
questions of a toy world that existed 40 years ago.

Subject	Author
ANN: Dogelog Player 1.0.4 (Time-Out Alarm)	Mostowski Collapse
ANN: Dogelog Player 1.0.4 (Time-Out Alarm)	Mostowski Collapse
ANN: Dogelog Player 1.0.4 (Time-Out Alarm)	Mostowski Collapse