Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

System checkpoint complete.


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

<964ab766-a18c-44a6-9be7-141d0d3c5d37n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9879&group=comp.lang.prolog#9879

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a37:9243:0:b0:69b:6009:856d with SMTP id u64-20020a379243000000b0069b6009856dmr9054110qkd.274.1649625852401;
Sun, 10 Apr 2022 14:24:12 -0700 (PDT)
X-Received: by 2002:a25:6652:0:b0:641:25c9:9c04 with SMTP id
z18-20020a256652000000b0064125c99c04mr4932706ybm.94.1649625852246; Sun, 10
Apr 2022 14:24:12 -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: Sun, 10 Apr 2022 14:24:12 -0700 (PDT)
In-Reply-To: <b62538be-1719-44d8-b2dc-331be2a4a9ban@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <964ab766-a18c-44a6-9be7-141d0d3c5d37n@googlegroups.com>
Subject: Re: ANN: Dogelog Player 0.9.8
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 10 Apr 2022 21:24:12 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mostowski Collapse - Sun, 10 Apr 2022 21:24 UTC

The Dogelog player provides the usual dynamic database
predicates which have now been thoroughly tested by our
test suite. A new drilldown utility facilitates inspecting the

results. The test runner and the drilldown utility are itself
examples of using the dynamic database in Prolog.

Dynamic Database Compliance for CPython and PyPy
https://twitter.com/dogelogch/status/1511712681463533577

Dynamic Database Compliance for CPython and PyPy
https://www.facebook.com/groups/dogelog

Mostowski Collapse schrieb am Donnerstag, 31. März 2022 um 11:24:58 UTC+2:
> Although we want to provide a living standard Prolog, we
> do not want to end-up fighting windmills. What concerns
> functional requirements we compromise in favor of the
> ISO core standard. A first take of an implementation and
>
> according test suite has been created. round/1 behaves
> now as follows, for Java, JavaScript and Python platform
> of our Prolog systems:
>
> ?- X is round(0.5).
> X = 1.0.
> ?- X is round(-0.5).
> X = 0.0.
> ?- X is round(1.5).
> X = 2.0.
> ?- X is round(-1.5).
> X = -1.0.
>
> See also:
>
> Compliance Test Suite for Dogelog Player
> https://twitter.com/dogelogch/status/1509451834414575618
>
> Compliance Test Suite for Dogelog Player
> https://www.facebook.com/groups/dogelog
> Mostowski Collapse schrieb am Montag, 21. März 2022 um 15:21:26 UTC+1:
> > Dear All,
> >
> > We are happy to announce a new
> > edition of the Dogelog Player:
> >
> > - JavaScript/Phyton Async/Await:
> > The Dogelog Player supports a new interpreter
> > that can relinquish control. The interface to the
> > interpreter contains new routines such as consult_async()
> > and toplevel_async(). Available for both JavaScript
> > and Python.
> >
> > - Functions Milestone:
> > We were able to add some built-ins and predicates
> > to the Dogelog Player. In addition to
> > unify_with_occurs_check/2, there is now a comprehensive
> > ISO core standard arithmetic and first approaches for
> > sorting the Prolog terms. Available for both JavaScript
> > and Python.
> >
> > - Formerly Jekejeke Runtime:
> > The interpreter is now called Dogelog Runtime and
> > continues to address the Java target platform. The
> > interpreter inherits some features of Dogelog Player
> > and can still be used to cross-compile Dogelog Player.
> > After a year of silence, there is now release 1.5.1
> > which has been fully tested for JDK 16.
> >
> > For download: www.xlog.ch
> >
> > Have Fun!
> > Jan Burse, 21.03.2022

Re: ANN: Dogelog Player 0.9.8

<e1d6e02f-720f-47de-b829-7bea8110c74fn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9913&group=comp.lang.prolog#9913

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:1012:b0:2e1:e7f3:5c89 with SMTP id d18-20020a05622a101200b002e1e7f35c89mr15148215qte.550.1650487954957;
Wed, 20 Apr 2022 13:52:34 -0700 (PDT)
X-Received: by 2002:a81:c09:0:b0:2e5:728f:b0d4 with SMTP id
9-20020a810c09000000b002e5728fb0d4mr21719863ywm.230.1650487954775; Wed, 20
Apr 2022 13:52:34 -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, 20 Apr 2022 13:52:34 -0700 (PDT)
In-Reply-To: <964ab766-a18c-44a6-9be7-141d0d3c5d37n@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e1d6e02f-720f-47de-b829-7bea8110c74fn@googlegroups.com>
Subject: Re: ANN: Dogelog Player 0.9.8
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Wed, 20 Apr 2022 20:52:34 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 28
 by: Mostowski Collapse - Wed, 20 Apr 2022 20:52 UTC

Would it be possible to bring change_arg/3 to Scryer Prolog?
It can be used to realize value holders. Here is an example:

?- X = f(abc).
X = f(abc).
?- X = f(abc), change_arg(1, X, def).
X = f(def)

I blogged recently about it on medium here. It can speed-up your
Prolog system tremendously. I measure in Scryer Prolog:

?- time((between(1,1000,_), call_nth(call_nth((X=a;X=b), N), M), fail; true)).
% CPU time: 1.010s
true.

On the other hand in Dogelog Player I get, and I don't need
any setup_call_cleanup/3 to realize it:

?- time((between(1,1000,_), call_nth(call_nth((X=a;X=b), N), M), fail; true)).
% Wall 61 ms, gc 0 ms, 837475 lips
true.

Here is my blogging:

change_arg/2 for a two Pointer Prolog System
https://twitter.com/dogelogch/status/1514530478371622914

change_arg/2 for a two Pointer Prolog System
https://www.facebook.com/groups/dogelog

Re: ANN: Dogelog Player 0.9.8

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

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9922&group=comp.lang.prolog#9922

  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: burse...@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


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

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor