Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"I'm not afraid of dying, I just don't want to be there when it happens." -- Woody Allen


devel / comp.lang.prolog / Re: ANN: Dogelog Player 1.1.1 (GNU Arithmetic)

SubjectAuthor
* ANN: Dogelog Player 1.1.1 (GNU Arithmetic)Mild Shock
`* ANN: Dogelog Player 1.1.1 (GNU Arithmetic)Mild Shock
 `* ANN: Dogelog Player 1.1.1 (GNU Arithmetic)Mild Shock
  `- ANN: Dogelog Player 1.1.1 (GNU Arithmetic)Mild Shock

1
ANN: Dogelog Player 1.1.1 (GNU Arithmetic)

<udt0qq$471o$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: ANN: Dogelog Player 1.1.1 (GNU Arithmetic)
Date: Wed, 13 Sep 2023 20:59:40 +0200
Message-ID: <udt0qq$471o$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 13 Sep 2023 18:59:38 -0000 (UTC)
Injection-Info: solani.org;
logging-data="138296"; 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.17
Cancel-Lock: sha1:GCuTDU3fSan4v9seln5nPVKFhiU=
X-User-ID: eJwFwYEBwCAIA7CXBtIK5yjY/09YgkVj7yAYEPSFq+GTc8cLGp1KYpczXaaZJePrTXu5rJNx7JbsPNzX+gFd4xY6
X-Mozilla-News-Host: news://news.solani.org:119
 by: Mild Shock - Wed, 13 Sep 2023 18:59 UTC

Dear All,

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

- File Properties:
We adopted the file_property/2 predicate from GNU
Prolog, but with slightly different property names
and values. There is also a new predicate
set_file_property/2 which allows certain features
to be adjusted.

- make/0 Directive:
A make/0 was implemented that reloads Prolog texts
that have already been consulted if they have been
changed. The algorithm corresponds more to formerly
Jekejeke Prolog than to SWI-Prolog. Reloading of
multifile predicates and operators is also supported.

- GNU Arithmetic:
We've moved away from the automatic tunneling and
bridging that was available in formerly Jekejeke
Prolog. This is visible, among other things, in a
new flag MASK_ARIT next to MASK_FUNC in the predicate
registry. Queries like +(1,2,X) or sin(0.1,X) now
throw an exception.

Have Fun!
Jan Burse, 13.09.2023, http://www.xlog.ch/

Re: ANN: Dogelog Player 1.1.1 (GNU Arithmetic)

<uev2ne$kutn$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: ANN: Dogelog Player 1.1.1 (GNU Arithmetic)
Date: Tue, 26 Sep 2023 19:00:29 +0200
Message-ID: <uev2ne$kutn$1@solani.org>
References: <udt0qq$471o$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 26 Sep 2023 17:00:30 -0000 (UTC)
Injection-Info: solani.org;
logging-data="687031"; 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.17.1
Cancel-Lock: sha1:YsImPl/qp7wg0TqXgD075UMZ9ro=
In-Reply-To: <udt0qq$471o$1@solani.org>
X-User-ID: eJwFwYEBwCAIA7CXKFLAc1TW/09YwpXIV5HMoChr7nncPEiM7JWZVdzWOmUD5PEEhgjt+7mEsWhbLZdTPzPdFMI=
 by: Mild Shock - Tue, 26 Sep 2023 17:00 UTC

Dogelog Player is a Prolog system for the
JavaScript and Python platform. It is 100%
written in Prolog itself except for some
built-ins. We did a revision of the evaluable
function built-ins and adopted an approach
that was already pursued in formerly Jekejeke Prolog.

Dogelog Player evaluable function were invoked
with the spread syntax available in JavaScript
and Python, making it not a proper native stack
solution. Adopting specials that can rule over
the argument computation gave us proper solution
and a 30% performance boost.

See also:

GNU Arithmetic for Dogelog Player
https://twitter.com/dogelogch/status/1706714292442017950

GNU Arithmetic for Dogelog Player
https://www.facebook.com/groups/dogelog

Mild Shock schrieb:
> Dear All,
>
> We are happy to announce a new edition
> of the Dogelog player:
>
> - File Properties:
>   We adopted the file_property/2 predicate from GNU
> Prolog, but with slightly different property names
> and values. There is also a new predicate
> set_file_property/2 which allows certain features
> to be adjusted.
>
> - make/0 Directive:
>   A make/0 was implemented that reloads Prolog texts
> that have already been consulted if they have been
> changed. The algorithm corresponds more to formerly
> Jekejeke Prolog than to SWI-Prolog. Reloading of
> multifile predicates and operators is also supported.
>
> - GNU Arithmetic:
>   We've moved away from the automatic tunneling and
> bridging that was available in formerly Jekejeke
> Prolog. This is visible, among other things, in a
> new flag MASK_ARIT next to MASK_FUNC in the predicate
> registry. Queries like +(1,2,X) or sin(0.1,X) now
> throw an exception.
>
> Have Fun!
> Jan Burse, 13.09.2023, http://www.xlog.ch/

Re: ANN: Dogelog Player 1.1.1 (GNU Arithmetic)

<ufe4gn$s8qa$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: ANN: Dogelog Player 1.1.1 (GNU Arithmetic)
Date: Mon, 2 Oct 2023 12:03:04 +0200
Message-ID: <ufe4gn$s8qa$1@solani.org>
References: <udt0qq$471o$1@solani.org> <uev2ne$kutn$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 2 Oct 2023 10:03:03 -0000 (UTC)
Injection-Info: solani.org;
logging-data="926538"; 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.17.1
Cancel-Lock: sha1:lLw6TQ0Dc19DFZYbyRMmGqlidhk=
In-Reply-To: <uev2ne$kutn$1@solani.org>
X-User-ID: eJwFwQEBwDAIAzBL41DADnSdfwlP4GnJikQGHl7ITgrc15Lz2wkLjgrVPTg1xYuyvPacKtfVupNnSt/2D29jFno=
 by: Mild Shock - Mon, 2 Oct 2023 10:03 UTC

It has been already 2 years since we started a
new Prolog system. This new Prolog systems is
100% written in Prolog, including the I/O and
the runtime compiler. We managed to adress the
JavaScript and the Python target.

We now completed a new target, namely Java.
This target is different since in contrast to
JavaScript and Python, the Java programming
language is a typed programming language with
type variables and primitive types.

The benchmark results show that we can indeed
replace formerly Jekejeke Prolog by the new
Dogelog Player for Java. But there is still a
lot of work ahead, which we will possibly perform
for all targets JavaScript, Python and
Java in parallel.

See also:

ANN: Dogelog Player for Java
https://twitter.com/dogelogch/status/1708780915587961286

ANN: Dogelog Player for Java
https://www.facebook.com/groups/dogelog

Mild Shock schrieb:
> Dogelog Player is a Prolog system for the
> JavaScript and Python platform. It is 100%
> written in Prolog itself except for some
> built-ins. We did a revision of the evaluable
> function built-ins and adopted an approach
> that was already pursued in formerly Jekejeke Prolog.
>
> Dogelog Player evaluable function were invoked
> with the spread syntax available in JavaScript
> and Python, making it not a proper native stack
> solution. Adopting specials that can rule over
> the argument computation gave us proper solution
> and a 30% performance boost.
>
> See also:
>
> GNU Arithmetic for Dogelog Player
> https://twitter.com/dogelogch/status/1706714292442017950
>
> GNU Arithmetic for Dogelog Player
> https://www.facebook.com/groups/dogelog
>
> Mild Shock schrieb:
>> Dear All,
>>
>> We are happy to announce a new edition
>> of the Dogelog player:
>>
>> - File Properties:
>>    We adopted the file_property/2 predicate from GNU
>> Prolog, but with slightly different property names
>> and values. There is also a new predicate
>> set_file_property/2 which allows certain features
>> to be adjusted.
>>
>> - make/0 Directive:
>>    A make/0 was implemented that reloads Prolog texts
>> that have already been consulted if they have been
>> changed. The algorithm corresponds more to formerly
>> Jekejeke Prolog than to SWI-Prolog. Reloading of
>> multifile predicates and operators is also supported.
>>
>> - GNU Arithmetic:
>>    We've moved away from the automatic tunneling and
>> bridging that was available in formerly Jekejeke
>> Prolog. This is visible, among other things, in a
>> new flag MASK_ARIT next to MASK_FUNC in the predicate
>> registry. Queries like +(1,2,X) or sin(0.1,X) now
>> throw an exception.
>>
>> Have Fun!
>> Jan Burse, 13.09.2023, http://www.xlog.ch/
>

Re: ANN: Dogelog Player 1.1.1 (GNU Arithmetic)

<ufk63g$6hs$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: ANN: Dogelog Player 1.1.1 (GNU Arithmetic)
Date: Wed, 4 Oct 2023 19:06:56 +0200
Message-ID: <ufk63g$6hs$1@solani.org>
References: <udt0qq$471o$1@solani.org> <uev2ne$kutn$1@solani.org>
<ufe4gn$s8qa$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 4 Oct 2023 17:06:56 -0000 (UTC)
Injection-Info: solani.org;
logging-data="6716"; 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.17.1
Cancel-Lock: sha1:L2uZPT6MWcTrIZ1IhiTzHHwGhH0=
In-Reply-To: <ufe4gn$s8qa$1@solani.org>
X-User-ID: eJwNyckRwDAIBMGUQMBihSOu/EMwv6keEzDSFQa1sUlPmhcvCCX0GLtQuh3UhzTMARtG3BrJ7zqvZXOfqpb+AVvKFeA=
 by: Mild Shock - Wed, 4 Oct 2023 17:06 UTC

Dogelog Player can celebrate 2 years of existence.
So far we managed to adress the JavaScript and the
Python target. We now completed a new target, namely
Java. Whereas we could already demonstrate novacore,
we can now also demonstrate the loading of liblets.

For the Java target we adopted the absolute addressing
of foreign modules already found in Dogelog Player.
A little class reflection help us to navigate around
JDK 9 which is more closed than JDK 8. In the future
we might also look into the matter of zipped
liblets for all targets.

See also:

Native Libraries for Java Dogelog - 2023
https://twitter.com/dogelogch/status/1709615198707864027

Native Libraries for Java Dogelog - 2023
https://www.facebook.com/groups/dogelog


devel / comp.lang.prolog / Re: ANN: Dogelog Player 1.1.1 (GNU Arithmetic)

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor