Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.javascript > #41245

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

Path csiph.com!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From Mostowski Collapse <janburse@fastmail.fm>
Newsgroups comp.lang.javascript
Subject Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm)
Date Wed, 22 Mar 2023 21:31:03 +0100
Message-ID <tvfoi4$2ein4$2@solani.org> (permalink)
References <ttj1as$1dbal$1@solani.org> <97f07f97-0e61-4160-8c2e-9a5fc1967058n@googlegroups.com>
Mime-Version 1.0
Content-Type text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding 7bit
Injection-Date Wed, 22 Mar 2023 20:31:00 -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:bsNh9rM0bRVaZfe/ZsoDf5hcwcM=
In-Reply-To <97f07f97-0e61-4160-8c2e-9a5fc1967058n@googlegroups.com>
X-User-ID eJwNycEBwCAIA8CVoIEg4wji/iPY+56Dyg6j0/z6JdYGwfXtodi/YpkXU+02qhMpgYrQQdGqunLiNI9suKwHKOwU1A==
Xref csiph.com comp.lang.javascript:41245

Show key headers only | View raw

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

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

Thread

ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Mostowski Collapse <janburse@fastmail.fm> - 2023-02-27 20:46 +0100
  Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Ezimene nimi Teine nimi <ezimenenimiteinenimi@gmail.com> - 2023-03-01 11:57 -0800
  Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Mostowski Collapse <bursejan@gmail.com> - 2023-03-03 17:34 -0800
    Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Mostowski Collapse <bursejan@gmail.com> - 2023-03-06 08:33 -0800
      Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Ezimene nimi Teine nimi <ezimenenimiteinenimi@gmail.com> - 2023-03-06 11:58 -0800
      Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Mostowski Collapse <bursejan@gmail.com> - 2023-03-11 10:55 -0800
        Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Mostowski Collapse <bursejan@gmail.com> - 2023-03-12 03:17 -0700
          Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Mostowski Collapse <bursejan@gmail.com> - 2023-03-14 09:35 -0700
  Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Ezimene nimi Teine nimi <yyyyyeeeee00000@writeme.com> - 2023-03-06 03:17 -0800
    Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Mostowski Collapse <janburse@fastmail.fm> - 2023-03-22 21:31 +0100
      Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Mostowski Collapse <bursejan@gmail.com> - 2023-03-25 09:30 -0700
        Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm) Mostowski Collapse <bursejan@gmail.com> - 2023-04-01 16:11 -0700

csiph-web