Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub)

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.6 (GNU Prolog Stub)
Date	Thu, 6 Jul 2023 23:04:49 +0200
Message-ID	<u87a9i$284c6$2@solani.org> (permalink)
References	<u6mo6t$1fmii$2@solani.org>
Mime-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	8bit
Injection-Date	Thu, 6 Jul 2023 21:04:50 -0000 (UTC)
Injection-Info	solani.org; logging-data="2363782"; 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.16
Cancel-Lock	sha1:iw/tuOiw37vgzDzhftKG06bQ+pA=
In-Reply-To	<u6mo6t$1fmii$2@solani.org>
X-User-ID	eJwNxcEBwEAEBMCWsCwpJ+7ov4RkPhOg8qQz6LGxtNMSrX+l2/7MTFeba4ADixLK67uCK4e4YFYhXySW1z5PrxT4
Xref	csiph.com comp.lang.javascript:41346

Show key headers only | View raw

In this article we provide a sequel to our automated
first order theorem proover. The initial version
was only based on the implicational fragment of
first order logic. We changed the prover to also support
conjunction.

The result is a new prover again written in Dogelog
Player, a Prolog system for the JavaScript and Python
platform. For the JavaScript platform, the prover can
be run in the browser completely client side.

The exact same conjunction rules can be also added
to intuitionistic logic. Here in classical logic
conjunction is rather redundant, since we have the
dual ¬(A ∧ B) = (A ⊃ ¬B). If we would further add
disjunction, we would end in bi-cartesian logic.

See also:

Cartesian Logic in Dogelog Player
https://twitter.com/dogelogch/status/1677059262734901254

Cartesian Logic in Dogelog Player
https://www.facebook.com/groups/dogelog

Mild Shock wrote:
> Dear All,
> 
> We are happy to announce a new edition
> of the Dogelog player:
> 
> - library(react):
>     The library(markup) library was rewritten
> and some new predicates were added. All
> predicates related to DOM events are now
> available in a new library library(react).
> Both libraries also include conveniences for SVG.
> 
> - library(json):
>    The library(json) library, previously
> rolled out for Jekejeke Prolog, is also
> available for Dogelog Player. The library
> has now been extended slightly, so there
> is a predicate to convert JSON terms between
> atoms, and predicates to address JSON
> terms which are objects.
> 
> - GNU Prolog Stub:
>    Libraries like library(json) can also be
> used from GNU Prolog if ensure_loaded/1 is
> replaced with include/1. GNU Prolog results
> have been added to the benchmark and
> compliance testing suites. Perhaps it will
> soon be possible to compile Dogelog Player
> with GNU Prolog.
> 
> Have Fun!
> Jan Burse, 18.06.2023, http://www.xlog.ch/

Thread

ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mild Shock <janburse@fastmail.fm> - 2023-06-18 13:01 +0200
  Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mostowski Collapse <janburse@fastmail.fm> - 2023-07-06 23:04 +0200
    Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mild Shock <bursejan@gmail.com> - 2023-07-18 08:47 -0700
      Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mild Shock <janburse@fastmail.fm> - 2023-07-20 10:49 +0200
        Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mild Shock <bursejan@gmail.com> - 2023-07-22 08:03 -0700
          Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mild Shock <janburse@fastmail.fm> - 2023-07-27 18:24 +0200

csiph-web