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)

From Mostowski Collapse <janburse@fastmail.fm>
Newsgroups comp.lang.javascript
Subject Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm)
Date 2023-03-22 21:31 +0100
Message-ID <tvfoi4$2ein4$2@solani.org> (permalink)
References <ttj1as$1dbal$1@solani.org> <97f07f97-0e61-4160-8c2e-9a5fc1967058n@googlegroups.com>

Show all headers | 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