Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

Security check: INTRUDER ALERT!

devel / comp.lang.prolog / Re: ANN: Dogelog Player 0.9.8

SubjectAuthor
* ANN: Dogelog Player 0.9.8Mostowski Collapse
`* ANN: Dogelog Player 0.9.8Mostowski Collapse
 `- ANN: Dogelog Player 0.9.8Mostowski Collapse

1
Re: ANN: Dogelog Player 0.9.8

<706b1d33-6874-4535-9119-a4a43a4c8e3fn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:1491:b0:2f3:8173:840a with SMTP id t17-20020a05622a149100b002f38173840amr3516703qtx.530.1651058629440;
Wed, 27 Apr 2022 04:23:49 -0700 (PDT)
X-Received: by 2002:a05:6902:110e:b0:644:daff:1e6f with SMTP id
o14-20020a056902110e00b00644daff1e6fmr26341492ybu.569.1651058629288; Wed, 27
Apr 2022 04:23:49 -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.prolog
Date: Wed, 27 Apr 2022 04:23:49 -0700 (PDT)
In-Reply-To: <e1d6e02f-720f-47de-b829-7bea8110c74fn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <t1a1l3$elik$1@solani.org> <b62538be-1719-44d8-b2dc-331be2a4a9ban@googlegroups.com>
<964ab766-a18c-44a6-9be7-141d0d3c5d37n@googlegroups.com> <e1d6e02f-720f-47de-b829-7bea8110c74fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <706b1d33-6874-4535-9119-a4a43a4c8e3fn@googlegroups.com>
Subject: Re: ANN: Dogelog Player 0.9.8
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Wed, 27 Apr 2022 11:23:49 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 16
 by: Mostowski Collapse - Wed, 27 Apr 2022 11:23 UTC

Can your Prolog system run this example indefinitely?

?- A=(1=1,call(A)), A.

But there is much more than what meets the eye. Dogelog
Player is a 100% Prolog written Prolog interpreter that runs
on the Python and JavaScript platform. It recently became

more mature by also supporting the ISO core standard
predicates (@<)/2, compare/3, etc.. A missing link was
giving an ordering to the Prolog variables.

Dogelog Player fights the Snow Piercer Effect
https://twitter.com/dogelogch/status/1519275290538786820

Dogelog Player fights the Snow Piercer Effect
https://www.facebook.com/groups/dogelog

Re: ANN: Dogelog Player 0.9.8

<056c3f77-6fd1-4ad2-b803-0aa8be52ad56n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:518d:b0:45a:933f:965d with SMTP id kl13-20020a056214518d00b0045a933f965dmr13562695qvb.94.1651736142869;
Thu, 05 May 2022 00:35:42 -0700 (PDT)
X-Received: by 2002:a25:40c9:0:b0:645:71c9:b3a1 with SMTP id
n192-20020a2540c9000000b0064571c9b3a1mr20686305yba.557.1651736142715; Thu, 05
May 2022 00:35:42 -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.prolog
Date: Thu, 5 May 2022 00:35:42 -0700 (PDT)
In-Reply-To: <706b1d33-6874-4535-9119-a4a43a4c8e3fn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <t1a1l3$elik$1@solani.org> <b62538be-1719-44d8-b2dc-331be2a4a9ban@googlegroups.com>
<964ab766-a18c-44a6-9be7-141d0d3c5d37n@googlegroups.com> <e1d6e02f-720f-47de-b829-7bea8110c74fn@googlegroups.com>
<706b1d33-6874-4535-9119-a4a43a4c8e3fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <056c3f77-6fd1-4ad2-b803-0aa8be52ad56n@googlegroups.com>
Subject: Re: ANN: Dogelog Player 0.9.8
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 05 May 2022 07:35:42 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 15
 by: Mostowski Collapse - Thu, 5 May 2022 07:35 UTC

Did you know that Dogelog Player supports full
DCG, even (\+)/1 inside DCG. You can try yourself:

p --> \+ q, r.

?- listing.

It then gives:

p(A, B) :-
\+ q(A, _),
A = C,
r(C, B).

No singleton warning. And recently a little better
listing with multiline pretty printing.

Re: ANN: Dogelog Player 0.9.8

<ce027ca5-22ea-486a-a946-a6085b0d0813n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:205:b0:2fc:45f8:9714 with SMTP id b5-20020a05622a020500b002fc45f89714mr2197196qtx.257.1653571619889;
Thu, 26 May 2022 06:26:59 -0700 (PDT)
X-Received: by 2002:a81:5c88:0:b0:2ff:9ebe:41a with SMTP id
q130-20020a815c88000000b002ff9ebe041amr29165624ywb.241.1653571619624; Thu, 26
May 2022 06:26:59 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Thu, 26 May 2022 06:26:59 -0700 (PDT)
In-Reply-To: <056c3f77-6fd1-4ad2-b803-0aa8be52ad56n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <t1a1l3$elik$1@solani.org> <b62538be-1719-44d8-b2dc-331be2a4a9ban@googlegroups.com>
<964ab766-a18c-44a6-9be7-141d0d3c5d37n@googlegroups.com> <e1d6e02f-720f-47de-b829-7bea8110c74fn@googlegroups.com>
<706b1d33-6874-4535-9119-a4a43a4c8e3fn@googlegroups.com> <056c3f77-6fd1-4ad2-b803-0aa8be52ad56n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ce027ca5-22ea-486a-a946-a6085b0d0813n@googlegroups.com>
Subject: Re: ANN: Dogelog Player 0.9.8
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 26 May 2022 13:26:59 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Thu, 26 May 2022 13:26 UTC

Dogelog Player provides a Prolog dialect that is closer
to SWI-Prolog than to GNU-Prolog. Until now there was a
dependency to formerly Jekejeke Prolog since we needed

this Prolog systems to evolve and cross compiler the Dogelog
Player. This dependency has been capped, since Dogelog
Player has become able of self hosting.

Dogelog Player is now Self Hosting
https://twitter.com/dogelogch/status/1529813350842089472

Dogelog Player is now Self Hosting
https://www.facebook.com/groups/dogelog

Mostowski Collapse schrieb am Donnerstag, 5. Mai 2022 um 09:35:43 UTC+2:
> Did you know that Dogelog Player supports full
> DCG, even (\+)/1 inside DCG. You can try yourself:
>
> p --> \+ q, r.
>
> ?- listing.
>
> It then gives:
>
> p(A, B) :-
> \+ q(A, _),
> A = C,
> r(C, B).
>
> No singleton warning. And recently a little better
> listing with multiline pretty printing.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor