Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

The world is not octal despite DEC.

devel / comp.lang.javascript / ANN: Dogelog Player 1.0.0

SubjectAuthor
* ANN: Dogelog Player 1.0.0Mostowski Collapse
`* Re: ANN: Dogelog Player 1.0.0Mostowski Collapse
 `* Re: ANN: Dogelog Player 1.0.0Mostowski Collapse
  `* Re: ANN: Dogelog Player 1.0.0Mostowski Collapse
   `* Re: ANN: Dogelog Player 1.0.0Mostowski Collapse
    `* Re: ANN: Dogelog Player 1.0.0Mostowski Collapse
     `* Re: ANN: Dogelog Player 1.0.0Mostowski Collapse
      `- Re: ANN: Dogelog Player 1.0.0Mostowski Collapse

1
ANN: Dogelog Player 1.0.0

<t79rfk$1cn7u$2@solani.org>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=17766&group=comp.lang.javascript#17766

  copy link   Newsgroups: comp.lang.javascript
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.javascript
Subject: ANN: Dogelog Player 1.0.0
Date: Thu, 2 Jun 2022 10:13:40 +0200
Message-ID: <t79rfk$1cn7u$2@solani.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 2 Jun 2022 08:13:40 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1465598"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101
Firefox/68.0 SeaMonkey/2.53.12
Cancel-Lock: sha1:H65yw7kKOTXcvMJazZVLMJgkeeU=
X-User-ID: eJwFwYEBwCAIA7CXRGjRc7CM/09YAqdRGQQDg9kfG9ZfHM3yxkM6KmvHY01Ded2Sjy90Bks6Fa6cvjL4/gFgKRXG
X-Mozilla-News-Host: news://news.solani.org:119
 by: Mostowski Collapse - Thu, 2 Jun 2022 08:13 UTC

Dear All,

We are happy to announce a new edition of the Dogelog player:

- Self Hosting:
Dogelog player can now cross compile itself. This was made
possible by further providing ISO core standard predicates
such as open/3 with write and append mode, and some non ISO
core standard predicates such as last_sub_atom/5.

- Variable Sernos:
The Dogelog player now supports lexical comparison of
Prolog logical variables. This was made possible through
a simple heuristic combination of the serial number generator
with the garbage collector, so that serial numbers
can be reused.

- Runtime Compatibility:
We provide more alignment. For example the Dogelog player
got a new working directory Prolog flag base_url and the
same existing Prolog flag in the Dogelog runtime, formerly
Jekejeke Prolog, can now be set relatively.

Have Fun!

Jan Burse, 02.06.2022
http://www.xlog.ch/

Re: ANN: Dogelog Player 1.0.0

<e0b3b9c1-72f2-464b-ba67-2a8c5d7cb8e8n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=17798&group=comp.lang.javascript#17798

  copy link   Newsgroups: comp.lang.javascript
X-Received: by 2002:a05:600c:3788:b0:3a0:4279:5142 with SMTP id o8-20020a05600c378800b003a042795142mr8860541wmr.21.1656276283099;
Sun, 26 Jun 2022 13:44:43 -0700 (PDT)
X-Received: by 2002:a05:6808:180c:b0:335:51e1:b1f6 with SMTP id
bh12-20020a056808180c00b0033551e1b1f6mr5647704oib.182.1656276282453; Sun, 26
Jun 2022 13:44:42 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news.uzoreto.com!feeder1.cambriumusenet.nl!feed.tweak.nl!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.javascript
Date: Sun, 26 Jun 2022 13:44:42 -0700 (PDT)
In-Reply-To: <t79rfk$1cn7u$2@solani.org>
Injection-Info: google-groups.googlegroups.com; posting-host=80.218.40.218; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 80.218.40.218
References: <t79rfk$1cn7u$2@solani.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e0b3b9c1-72f2-464b-ba67-2a8c5d7cb8e8n@googlegroups.com>
Subject: Re: ANN: Dogelog Player 1.0.0
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 26 Jun 2022 20:44:43 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Sun, 26 Jun 2022 20:44 UTC

Prolog to the Moon! Dogelog Player is preparing for touch
down. We report some first steps in literate programming with
the Dogelog player. A simple utility allows converting Prolog

texts into live HTML Pages. See also:

Literate Programming with the Dogelog Player
https://twitter.com/dogelogch/status/1541155313478418439

Literate Programming with the Dogelog Player
https://www.facebook.com/groups/dogelog

Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:13:49 UTC+2:
> Dear All,
>
> We are happy to announce a new edition of the Dogelog player:
>
> - Self Hosting:
> Dogelog player can now cross compile itself. This was made
> possible by further providing ISO core standard predicates
> such as open/3 with write and append mode, and some non ISO
> core standard predicates such as last_sub_atom/5.
>
> - Variable Sernos:
> The Dogelog player now supports lexical comparison of
> Prolog logical variables. This was made possible through
> a simple heuristic combination of the serial number generator
> with the garbage collector, so that serial numbers
> can be reused.
>
> - Runtime Compatibility:
> We provide more alignment. For example the Dogelog player
> got a new working directory Prolog flag base_url and the
> same existing Prolog flag in the Dogelog runtime, formerly
> Jekejeke Prolog, can now be set relatively.
>
> Have Fun!
>
> Jan Burse, 02.06.2022
> http://www.xlog.ch/

Re: ANN: Dogelog Player 1.0.0

<faba5319-20bd-4f17-9143-e42f7a0b7b3an@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=17825&group=comp.lang.javascript#17825

  copy link   Newsgroups: comp.lang.javascript
X-Received: by 2002:a05:622a:20f:b0:31d:47ea:43a5 with SMTP id b15-20020a05622a020f00b0031d47ea43a5mr1728280qtx.257.1656826000326;
Sat, 02 Jul 2022 22:26:40 -0700 (PDT)
X-Received: by 2002:a05:6808:e82:b0:322:4c17:2f61 with SMTP id
k2-20020a0568080e8200b003224c172f61mr13257400oil.131.1656826000104; Sat, 02
Jul 2022 22:26:40 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.javascript
Date: Sat, 2 Jul 2022 22:26:39 -0700 (PDT)
In-Reply-To: <e0b3b9c1-72f2-464b-ba67-2a8c5d7cb8e8n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=80.218.40.218; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 80.218.40.218
References: <t79rfk$1cn7u$2@solani.org> <e0b3b9c1-72f2-464b-ba67-2a8c5d7cb8e8n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <faba5319-20bd-4f17-9143-e42f7a0b7b3an@googlegroups.com>
Subject: Re: ANN: Dogelog Player 1.0.0
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 03 Jul 2022 05:26:40 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 61
 by: Mostowski Collapse - Sun, 3 Jul 2022 05:26 UTC

This was fun!

The Monkey King was asked by Buddha to jump out of
its hand, and failed to do so. We made a little experiment
in extending the reach of Dogelog players rollback hand.
Given the new clause rollback we added further new
feature in the form of a new predicate rollback.

The Monkey King could not leave since Buddha is one
with the world. We went on to extend the Dogelog player
rollback mechanism so that the end-user does not
experience gaps in the Prolog world. Surprisingly the
predicates solution is a little bit different from the
clauses solution.

Buddha’s Hand: Rollback of Abolished Predicates
https://twitter.com/dogelogch/status/1543463690430734337

Buddha’s Hand: Rollback of Abolished Predicates
https://www.facebook.com/groups/dogelog

Mostowski Collapse schrieb am Sonntag, 26. Juni 2022 um 22:44:51 UTC+2:
> Prolog to the Moon! Dogelog Player is preparing for touch
> down. We report some first steps in literate programming with
> the Dogelog player. A simple utility allows converting Prolog
>
> texts into live HTML Pages. See also:
>
> Literate Programming with the Dogelog Player
> https://twitter.com/dogelogch/status/1541155313478418439
>
> Literate Programming with the Dogelog Player
> https://www.facebook.com/groups/dogelog
> Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:13:49 UTC+2:
> > Dear All,
> >
> > We are happy to announce a new edition of the Dogelog player:
> >
> > - Self Hosting:
> > Dogelog player can now cross compile itself. This was made
> > possible by further providing ISO core standard predicates
> > such as open/3 with write and append mode, and some non ISO
> > core standard predicates such as last_sub_atom/5.
> >
> > - Variable Sernos:
> > The Dogelog player now supports lexical comparison of
> > Prolog logical variables. This was made possible through
> > a simple heuristic combination of the serial number generator
> > with the garbage collector, so that serial numbers
> > can be reused.
> >
> > - Runtime Compatibility:
> > We provide more alignment. For example the Dogelog player
> > got a new working directory Prolog flag base_url and the
> > same existing Prolog flag in the Dogelog runtime, formerly
> > Jekejeke Prolog, can now be set relatively.
> >
> > Have Fun!
> >
> > Jan Burse, 02.06.2022
> > http://www.xlog.ch/

Re: ANN: Dogelog Player 1.0.0

<94cd31bd-b053-4764-8c55-5548841a753en@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=17829&group=comp.lang.javascript#17829

  copy link   Newsgroups: comp.lang.javascript
X-Received: by 2002:a37:4454:0:b0:69f:c339:e2dc with SMTP id r81-20020a374454000000b0069fc339e2dcmr19269372qka.771.1656934058122;
Mon, 04 Jul 2022 04:27:38 -0700 (PDT)
X-Received: by 2002:a05:6808:8db:b0:335:3aae:b249 with SMTP id
k27-20020a05680808db00b003353aaeb249mr16440778oij.205.1656934057802; Mon, 04
Jul 2022 04:27:37 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.javascript
Date: Mon, 4 Jul 2022 04:27:37 -0700 (PDT)
In-Reply-To: <faba5319-20bd-4f17-9143-e42f7a0b7b3an@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=80.218.40.218; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 80.218.40.218
References: <t79rfk$1cn7u$2@solani.org> <e0b3b9c1-72f2-464b-ba67-2a8c5d7cb8e8n@googlegroups.com>
<faba5319-20bd-4f17-9143-e42f7a0b7b3an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <94cd31bd-b053-4764-8c55-5548841a753en@googlegroups.com>
Subject: Re: ANN: Dogelog Player 1.0.0
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 04 Jul 2022 11:27:38 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 66
 by: Mostowski Collapse - Mon, 4 Jul 2022 11:27 UTC

One more new Browser Prolog in town: prolog.run
https://twitter.com/guregu/status/1543655911876874240

Mostowski Collapse schrieb am Sonntag, 3. Juli 2022 um 07:26:44 UTC+2:
> This was fun!
>
> The Monkey King was asked by Buddha to jump out of
> its hand, and failed to do so. We made a little experiment
> in extending the reach of Dogelog players rollback hand.
> Given the new clause rollback we added further new
> feature in the form of a new predicate rollback.
>
> The Monkey King could not leave since Buddha is one
> with the world. We went on to extend the Dogelog player
> rollback mechanism so that the end-user does not
> experience gaps in the Prolog world. Surprisingly the
> predicates solution is a little bit different from the
> clauses solution.
>
> Buddha’s Hand: Rollback of Abolished Predicates
> https://twitter.com/dogelogch/status/1543463690430734337
>
> Buddha’s Hand: Rollback of Abolished Predicates
> https://www.facebook.com/groups/dogelog
> Mostowski Collapse schrieb am Sonntag, 26. Juni 2022 um 22:44:51 UTC+2:
> > Prolog to the Moon! Dogelog Player is preparing for touch
> > down. We report some first steps in literate programming with
> > the Dogelog player. A simple utility allows converting Prolog
> >
> > texts into live HTML Pages. See also:
> >
> > Literate Programming with the Dogelog Player
> > https://twitter.com/dogelogch/status/1541155313478418439
> >
> > Literate Programming with the Dogelog Player
> > https://www.facebook.com/groups/dogelog
> > Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:13:49 UTC+2:
> > > Dear All,
> > >
> > > We are happy to announce a new edition of the Dogelog player:
> > >
> > > - Self Hosting:
> > > Dogelog player can now cross compile itself. This was made
> > > possible by further providing ISO core standard predicates
> > > such as open/3 with write and append mode, and some non ISO
> > > core standard predicates such as last_sub_atom/5.
> > >
> > > - Variable Sernos:
> > > The Dogelog player now supports lexical comparison of
> > > Prolog logical variables. This was made possible through
> > > a simple heuristic combination of the serial number generator
> > > with the garbage collector, so that serial numbers
> > > can be reused.
> > >
> > > - Runtime Compatibility:
> > > We provide more alignment. For example the Dogelog player
> > > got a new working directory Prolog flag base_url and the
> > > same existing Prolog flag in the Dogelog runtime, formerly
> > > Jekejeke Prolog, can now be set relatively.
> > >
> > > Have Fun!
> > >
> > > Jan Burse, 02.06.2022
> > > http://www.xlog.ch/

Re: ANN: Dogelog Player 1.0.0

<4d639d8a-b54e-4beb-99ce-a8e7505aeb33n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=17846&group=comp.lang.javascript#17846

  copy link   Newsgroups: comp.lang.javascript
X-Received: by 2002:a05:620a:1b97:b0:6b5:4c72:8bd9 with SMTP id dv23-20020a05620a1b9700b006b54c728bd9mr2116541qkb.645.1657285535313;
Fri, 08 Jul 2022 06:05:35 -0700 (PDT)
X-Received: by 2002:a05:6808:4cd:b0:335:6fbe:e1fd with SMTP id
a13-20020a05680804cd00b003356fbee1fdmr1731593oie.48.1657285535058; Fri, 08
Jul 2022 06:05:35 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.javascript
Date: Fri, 8 Jul 2022 06:05:34 -0700 (PDT)
In-Reply-To: <94cd31bd-b053-4764-8c55-5548841a753en@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=80.218.40.218; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 80.218.40.218
References: <t79rfk$1cn7u$2@solani.org> <e0b3b9c1-72f2-464b-ba67-2a8c5d7cb8e8n@googlegroups.com>
<faba5319-20bd-4f17-9143-e42f7a0b7b3an@googlegroups.com> <94cd31bd-b053-4764-8c55-5548841a753en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4d639d8a-b54e-4beb-99ce-a8e7505aeb33n@googlegroups.com>
Subject: Re: ANN: Dogelog Player 1.0.0
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Fri, 08 Jul 2022 13:05:35 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 68
 by: Mostowski Collapse - Fri, 8 Jul 2022 13:05 UTC

One more new Browser Prolog in town: ciao playground
https://twitter.com/CiaoProlog/status/1544397192965791744

Mostowski Collapse schrieb am Montag, 4. Juli 2022 um 13:27:41 UTC+2:
> One more new Browser Prolog in town: prolog.run
> https://twitter.com/guregu/status/1543655911876874240
> Mostowski Collapse schrieb am Sonntag, 3. Juli 2022 um 07:26:44 UTC+2:
> > This was fun!
> >
> > The Monkey King was asked by Buddha to jump out of
> > its hand, and failed to do so. We made a little experiment
> > in extending the reach of Dogelog players rollback hand.
> > Given the new clause rollback we added further new
> > feature in the form of a new predicate rollback.
> >
> > The Monkey King could not leave since Buddha is one
> > with the world. We went on to extend the Dogelog player
> > rollback mechanism so that the end-user does not
> > experience gaps in the Prolog world. Surprisingly the
> > predicates solution is a little bit different from the
> > clauses solution.
> >
> > Buddha’s Hand: Rollback of Abolished Predicates
> > https://twitter.com/dogelogch/status/1543463690430734337
> >
> > Buddha’s Hand: Rollback of Abolished Predicates
> > https://www.facebook.com/groups/dogelog
> > Mostowski Collapse schrieb am Sonntag, 26. Juni 2022 um 22:44:51 UTC+2:
> > > Prolog to the Moon! Dogelog Player is preparing for touch
> > > down. We report some first steps in literate programming with
> > > the Dogelog player. A simple utility allows converting Prolog
> > >
> > > texts into live HTML Pages. See also:
> > >
> > > Literate Programming with the Dogelog Player
> > > https://twitter.com/dogelogch/status/1541155313478418439
> > >
> > > Literate Programming with the Dogelog Player
> > > https://www.facebook.com/groups/dogelog
> > > Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:13:49 UTC+2:
> > > > Dear All,
> > > >
> > > > We are happy to announce a new edition of the Dogelog player:
> > > >
> > > > - Self Hosting:
> > > > Dogelog player can now cross compile itself. This was made
> > > > possible by further providing ISO core standard predicates
> > > > such as open/3 with write and append mode, and some non ISO
> > > > core standard predicates such as last_sub_atom/5.
> > > >
> > > > - Variable Sernos:
> > > > The Dogelog player now supports lexical comparison of
> > > > Prolog logical variables. This was made possible through
> > > > a simple heuristic combination of the serial number generator
> > > > with the garbage collector, so that serial numbers
> > > > can be reused.
> > > >
> > > > - Runtime Compatibility:
> > > > We provide more alignment. For example the Dogelog player
> > > > got a new working directory Prolog flag base_url and the
> > > > same existing Prolog flag in the Dogelog runtime, formerly
> > > > Jekejeke Prolog, can now be set relatively.
> > > >
> > > > Have Fun!
> > > >
> > > > Jan Burse, 02.06.2022
> > > > http://www.xlog.ch/

Re: ANN: Dogelog Player 1.0.0

<b1174d19-e44e-4962-9195-c7586ee80870n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=17876&group=comp.lang.javascript#17876

  copy link   Newsgroups: comp.lang.javascript
X-Received: by 2002:a05:622a:110d:b0:31f:1c18:eb1a with SMTP id e13-20020a05622a110d00b0031f1c18eb1amr2308436qty.292.1659081207007;
Fri, 29 Jul 2022 00:53:27 -0700 (PDT)
X-Received: by 2002:a05:6870:d0d4:b0:10d:4a2:2c0e with SMTP id
k20-20020a056870d0d400b0010d04a22c0emr1583622oaa.232.1659081206756; Fri, 29
Jul 2022 00:53:26 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.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.javascript
Date: Fri, 29 Jul 2022 00:53:26 -0700 (PDT)
In-Reply-To: <4d639d8a-b54e-4beb-99ce-a8e7505aeb33n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=80.218.40.218; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 80.218.40.218
References: <t79rfk$1cn7u$2@solani.org> <e0b3b9c1-72f2-464b-ba67-2a8c5d7cb8e8n@googlegroups.com>
<faba5319-20bd-4f17-9143-e42f7a0b7b3an@googlegroups.com> <94cd31bd-b053-4764-8c55-5548841a753en@googlegroups.com>
<4d639d8a-b54e-4beb-99ce-a8e7505aeb33n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b1174d19-e44e-4962-9195-c7586ee80870n@googlegroups.com>
Subject: Re: ANN: Dogelog Player 1.0.0
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Fri, 29 Jul 2022 07:53:26 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1802
 by: Mostowski Collapse - Fri, 29 Jul 2022 07:53 UTC

Sofar we have resisted in adding a Next or Abort
button to any of our Dogelog Player HTML pages.
Behind the lack of these buttons is a method of

exploring sequence meta-predicates and what
they could do for user interfaces. Here is a little
new article about the topic:

Enumerating Solutions with Dogelog Payer
https://twitter.com/dogelogch/status/1552802997247303680

Enumerating Solutions with Dogelog Payer
https://www.facebook.com/groups/dogelog

Re: ANN: Dogelog Player 1.0.0

<c5a6168e-8b41-4d5f-a538-47bbd32c6ff8n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=17885&group=comp.lang.javascript#17885

  copy link   Newsgroups: comp.lang.javascript
X-Received: by 2002:ac8:5cc3:0:b0:31f:782:8588 with SMTP id s3-20020ac85cc3000000b0031f07828588mr24436724qta.594.1659566670599;
Wed, 03 Aug 2022 15:44:30 -0700 (PDT)
X-Received: by 2002:a05:6808:bca:b0:33b:2275:27b8 with SMTP id
o10-20020a0568080bca00b0033b227527b8mr2654868oik.180.1659566670266; Wed, 03
Aug 2022 15:44:30 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.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.javascript
Date: Wed, 3 Aug 2022 15:44:30 -0700 (PDT)
In-Reply-To: <b1174d19-e44e-4962-9195-c7586ee80870n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=178.197.239.175; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 178.197.239.175
References: <t79rfk$1cn7u$2@solani.org> <e0b3b9c1-72f2-464b-ba67-2a8c5d7cb8e8n@googlegroups.com>
<faba5319-20bd-4f17-9143-e42f7a0b7b3an@googlegroups.com> <94cd31bd-b053-4764-8c55-5548841a753en@googlegroups.com>
<4d639d8a-b54e-4beb-99ce-a8e7505aeb33n@googlegroups.com> <b1174d19-e44e-4962-9195-c7586ee80870n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c5a6168e-8b41-4d5f-a538-47bbd32c6ff8n@googlegroups.com>
Subject: Re: ANN: Dogelog Player 1.0.0
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Wed, 03 Aug 2022 22:44:30 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2755
 by: Mostowski Collapse - Wed, 3 Aug 2022 22:44 UTC

Tarski’s World is a computer-based introduction to
first-order logic permitting the student to construct
and query block worlds. We made a similar experiment

with Dogelog Player where the query language is Prolog.
We could combine the chess board output with a text
field input. Situations are then modelled as king/1 and #

knight/1 facts in the text field input and represented in
the chess board output. The text field input does also
provide space for queries, replicating some of Tarski’s World features.

Dogelog Player meets Tarski's World
https://twitter.com/dogelogch/status/1554398619972796418

Dogelog Player meets Tarski's World
https://www.facebook.com/groups/dogelog

Mostowski Collapse schrieb am Freitag, 29. Juli 2022 um 09:53:30 UTC+2:
> Sofar we have resisted in adding a Next or Abort
> button to any of our Dogelog Player HTML pages.
> Behind the lack of these buttons is a method of
>
> exploring sequence meta-predicates and what
> they could do for user interfaces. Here is a little
> new article about the topic:
>
> Enumerating Solutions with Dogelog Payer
> https://twitter.com/dogelogch/status/1552802997247303680
>
> Enumerating Solutions with Dogelog Payer
> https://www.facebook.com/groups/dogelog

Re: ANN: Dogelog Player 1.0.0

<005bcd8a-6404-44c6-a703-fb303f5afa31n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=17888&group=comp.lang.javascript#17888

  copy link   Newsgroups: comp.lang.javascript
X-Received: by 2002:ac8:7d0f:0:b0:342:a694:c961 with SMTP id g15-20020ac87d0f000000b00342a694c961mr8920701qtb.538.1659861435300;
Sun, 07 Aug 2022 01:37:15 -0700 (PDT)
X-Received: by 2002:a05:6870:418d:b0:10e:6822:3ecf with SMTP id
y13-20020a056870418d00b0010e68223ecfmr9575471oac.57.1659861435029; Sun, 07
Aug 2022 01:37:15 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.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.javascript
Date: Sun, 7 Aug 2022 01:37:14 -0700 (PDT)
In-Reply-To: <c5a6168e-8b41-4d5f-a538-47bbd32c6ff8n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=80.218.40.218; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 80.218.40.218
References: <t79rfk$1cn7u$2@solani.org> <e0b3b9c1-72f2-464b-ba67-2a8c5d7cb8e8n@googlegroups.com>
<faba5319-20bd-4f17-9143-e42f7a0b7b3an@googlegroups.com> <94cd31bd-b053-4764-8c55-5548841a753en@googlegroups.com>
<4d639d8a-b54e-4beb-99ce-a8e7505aeb33n@googlegroups.com> <b1174d19-e44e-4962-9195-c7586ee80870n@googlegroups.com>
<c5a6168e-8b41-4d5f-a538-47bbd32c6ff8n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <005bcd8a-6404-44c6-a703-fb303f5afa31n@googlegroups.com>
Subject: Re: ANN: Dogelog Player 1.0.0
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 07 Aug 2022 08:37:15 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3796
 by: Mostowski Collapse - Sun, 7 Aug 2022 08:37 UTC

Getting rid of some annoying SWISH nonsense:

Dogelog player is a Prolog system 100% written in Prolog
targeting JavaScript and Python. We recently provided a
webifyer that can convert a Prolog text into a HTML page.
To exercise this utility we turned half of a Learn Prolog Now!
section into a Dogelog Notebook.

The new utility allowed us to rapidly create subsections
for some Learn Prolog Now! text. The result are better
than the automatic on the fly conversion towards SWISH
in terms of screen real estate. We could also additionally
demonstrate some non-monotonic tampering by the end-user.

Learn Prolog Now! as a Dogelog Notebook
https://twitter.com/dogelogch/status/1556193360678895616

Learn Prolog Now! as a Dogelog Notebook
https://www.facebook.com/groups/dogelog

Mostowski Collapse schrieb am Donnerstag, 4. August 2022 um 00:44:34 UTC+2:
> Tarski’s World is a computer-based introduction to
> first-order logic permitting the student to construct
> and query block worlds. We made a similar experiment
>
> with Dogelog Player where the query language is Prolog.
> We could combine the chess board output with a text
> field input. Situations are then modelled as king/1 and #
>
> knight/1 facts in the text field input and represented in
> the chess board output. The text field input does also
> provide space for queries, replicating some of Tarski’s World features.
>
> Dogelog Player meets Tarski's World
> https://twitter.com/dogelogch/status/1554398619972796418
>
> Dogelog Player meets Tarski's World
> https://www.facebook.com/groups/dogelog
> Mostowski Collapse schrieb am Freitag, 29. Juli 2022 um 09:53:30 UTC+2:
> > Sofar we have resisted in adding a Next or Abort
> > button to any of our Dogelog Player HTML pages.
> > Behind the lack of these buttons is a method of
> >
> > exploring sequence meta-predicates and what
> > they could do for user interfaces. Here is a little
> > new article about the topic:
> >
> > Enumerating Solutions with Dogelog Payer
> > https://twitter.com/dogelogch/status/1552802997247303680
> >
> > Enumerating Solutions with Dogelog Payer
> > https://www.facebook.com/groups/dogelog

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor