Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

EARTH smog | bricks AIR -- mud -- FIRE soda water | tequila WATER


devel / comp.lang.prolog / ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

SubjectAuthor
* ANN: Dogelog Player 1.1.3 (Tuning Trilogy)Mild Shock
`* ANN: Dogelog Player 1.1.3 (Tuning Trilogy)Mild Shock
 +- ANN: Dogelog Player 1.1.3 (Tuning Trilogy)Mild Shock
 `* ANN: Dogelog Player 1.1.3 (Tuning Trilogy)Mild Shock
  `* ANN: Dogelog Player 1.1.3 (Tuning Trilogy)Mild Shock
   `- ANN: Dogelog Player 1.1.3 (Tuning Trilogy)Mild Shock

1
ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

<uih2gf$194oa$1@solani.org>

  copy mid

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

  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.3 (Tuning Trilogy)
Date: Wed, 8 Nov 2023 23:36:00 +0100
Message-ID: <uih2gf$194oa$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 8 Nov 2023 22:35:59 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1348362"; 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:Mi08kKJAoZxYqfd1/a9sjyumq0g=
X-User-ID: eJwFwQkBwDAIA0BLUEKgclYe/xJ250ZlBeiEr6/sxasZzWDr4PmeA9RBbNf3GHHdKJMoa+FcZbTnFDJk8QNY4RVM
X-Mozilla-News-Host: news://news.solani.org:119
 by: Mild Shock - Wed, 8 Nov 2023 22:36 UTC

Dear All,

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

- Monomorphic Cache:
New episode in creating a Prolog system with no
atom table and no datatype string, only atoms. Like
formerly Jekejeke Prolog our Dogelog player has only
a provables table and inline caches, whereas we
didn't need polymorphic, only monomorphic.

- Neck Forms:
We allow the Prolog system to treat neck deterministic
built-ins in a special way so as to avoid the costly
creation of sub-goals. Intriguingly even more speed-up
can be gained in that the built-ins decide on their
own how to interpret the Albufeira code arguments.

- AST-Machine:
We abandoned the idea that Albufeira code is an
array of op-codes. The result is a a data structure
which is a chimera of PLM molecules and WAM structures.
Judging from our bechmark suite, this is the final
killing blow to formerly Jekejeke Prolog.

For more details: Dogelog

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

Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

<ujkrq4$1r0vq$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!paganini.bofh.team!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.3 (Tuning Trilogy)
Date: Wed, 22 Nov 2023 13:22:29 +0100
Message-ID: <ujkrq4$1r0vq$1@solani.org>
References: <uih2gf$194oa$1@solani.org> <uiioh2$1a0k5$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 22 Nov 2023 12:22:28 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1934330"; 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:WNNL/uEMfqM6XUVrGpw+N1Dwjx0=
X-User-ID: eJwNyMEBwCAIA8CVFEii41jA/Ueoj/scnJOpIBi4uGLi1pYei1yW4CdTub8MTRu9EAae0bGOwUdX7f5ms2U/LXgUkg==
In-Reply-To: <uiioh2$1a0k5$1@solani.org>
 by: Mild Shock - Wed, 22 Nov 2023 12:22 UTC

Dogelog Player is a Prolog system 100% written
in Prolog itself. We recently extended the Dogelog
Player to not only support JavaScript and Python,
but also Java as its target platform. For JavaScript
and Java, Dogelog Player approaches Prolog
atoms via wobbly Unicode.

We treat wobbly code points as first class citizen
and see to it that a conversion from wobbly pairs
to a steady points automatically happens, but the
reverse road is blocked. The results are encouraging
but support in other Prolog systems such as
SWI-Prolog is lacking.

See also:

Wobbly Unicode in Dogelog Player
https://twitter.com/dogelogch/status/1727300173968162983

Wobbly Unicode in Dogelog Player
https://www.facebook.com/groups/dogelog

Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

<98022a03-7c2a-4b01-8837-fa1299db6b34n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:b24:b0:66f:bc1a:7a77 with SMTP id w4-20020a0562140b2400b0066fbc1a7a77mr67170qvj.11.1700658704114;
Wed, 22 Nov 2023 05:11:44 -0800 (PST)
X-Received: by 2002:a63:1543:0:b0:59c:fc70:1ca0 with SMTP id
3-20020a631543000000b0059cfc701ca0mr409996pgv.10.1700658703762; Wed, 22 Nov
2023 05:11:43 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeder1.feed.usenet.farm!feed.usenet.farm!peer02.ams4!peer.am4.highwinds-media.com!peer03.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.prolog
Date: Wed, 22 Nov 2023 05:11:43 -0800 (PST)
In-Reply-To: <ujkrq4$1r0vq$1@solani.org>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.50.239; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.50.239
References: <uih2gf$194oa$1@solani.org> <uiioh2$1a0k5$1@solani.org> <ujkrq4$1r0vq$1@solani.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <98022a03-7c2a-4b01-8837-fa1299db6b34n@googlegroups.com>
Subject: Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)
From: burse...@gmail.com (Mild Shock)
Injection-Date: Wed, 22 Nov 2023 13:11:44 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2781
 by: Mild Shock - Wed, 22 Nov 2023 13:11 UTC

My thoughts and prayers to Prolog systems that
have under the hood UTF-8. This is a nasty test case
to a certain approach of surrogate pairs:

?- X = 'The \uD83D', Y = '\uDE02 dog', atom_concat(X, Y, Z).
X = 'The \ud83d', Y = '\ude02 dog', Z = 'The 😂 dog'.

Could mean 3 bytes UTF-8 at the end of the first Prolog
atom and 3 bytes UTF-8 at the start of the second Prolog
atom are converted into 4 bytes UTF-8.

See also:

The WTF-8 encoding
WTF-8 (Wobbly Transformation Format − 8-bit)
Simon Sapin, Mozilla - 23 February 2022
https://simonsapin.github.io/wtf-8/

Mild Shock schrieb am Mittwoch, 22. November 2023 um 13:22:31 UTC+1:
> Dogelog Player is a Prolog system 100% written
> in Prolog itself. We recently extended the Dogelog
> Player to not only support JavaScript and Python,
> but also Java as its target platform. For JavaScript
> and Java, Dogelog Player approaches Prolog
> atoms via wobbly Unicode.
>
> We treat wobbly code points as first class citizen
> and see to it that a conversion from wobbly pairs
> to a steady points automatically happens, but the
> reverse road is blocked. The results are encouraging
> but support in other Prolog systems such as
> SWI-Prolog is lacking.
>
> See also:
>
> Wobbly Unicode in Dogelog Player
> https://twitter.com/dogelogch/status/1727300173968162983
>
> Wobbly Unicode in Dogelog Player
> https://www.facebook.com/groups/dogelog

Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

<ujl04e$1ravq$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!news.bbs.nz!news.swapon.de!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.3 (Tuning Trilogy)
Date: Wed, 22 Nov 2023 14:36:15 +0100
Message-ID: <ujl04e$1ravq$1@solani.org>
References: <uih2gf$194oa$1@solani.org> <uiioh2$1a0k5$1@solani.org>
<ujkrq4$1r0vq$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 22 Nov 2023 13:36:14 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1944570"; 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:Vk49214DOyC8yAWNyEkg+rZmwIM=
In-Reply-To: <ujkrq4$1r0vq$1@solani.org>
X-User-ID: eJwNysERACEIBLCWDnEBy2EB+y/hnHwDNbHybbCN+8TnE7HRWIwaDoR0DZesV06gfFQX53T2kWbimmNEjJo/TPQVow==
 by: Mild Shock - Wed, 22 Nov 2023 13:36 UTC

My thoughts and prayers to Prolog systems that
have under the hood UTF-8. This is a nasty test case
to a certain approach of surrogate pairs:

?- X = 'The \uD83D', Y = '\uDE02 dog', atom_concat(X, Y, Z).
X = 'The \ud83d', Y = '\ude02 dog', Z = 'The 😂 dog'.

Could mean 3 bytes UTF-8 at the end of the first Prolog
atom and 3 bytes UTF-8 at the start of the second Prolog
atom are converted into 4 bytes UTF-8.

See also:

The WTF-8 encoding
WTF-8 (Wobbly Transformation Format − 8-bit)
Simon Sapin, Mozilla - 23 February 2022
https://simonsapin.github.io/wtf-8/

Mild Shock schrieb:
> Dogelog Player is a Prolog system 100% written
> in Prolog itself. We recently extended the Dogelog
> Player to not only support JavaScript and Python,
> but also Java as its target platform. For JavaScript
> and Java, Dogelog Player approaches Prolog
> atoms via wobbly Unicode.
>
> We treat wobbly code points as first class citizen
> and see to it that a conversion from wobbly pairs
> to a steady points automatically happens, but the
> reverse road is blocked. The results are encouraging
> but support in other Prolog systems such as
> SWI-Prolog is lacking.
>
> See also:
>
> Wobbly Unicode in Dogelog Player
> https://twitter.com/dogelogch/status/1727300173968162983
>
> Wobbly Unicode in Dogelog Player
> https://www.facebook.com/groups/dogelog

Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

<ujvddu$20dee$1@solani.org>

  copy mid

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

  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.3 (Tuning Trilogy)
Date: Sun, 26 Nov 2023 13:24:32 +0100
Message-ID: <ujvddu$20dee$1@solani.org>
References: <uih2gf$194oa$1@solani.org> <uiioh2$1a0k5$1@solani.org>
<ujkrq4$1r0vq$1@solani.org> <ujl04e$1ravq$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 26 Nov 2023 12:24:30 -0000 (UTC)
Injection-Info: solani.org;
logging-data="2110926"; 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:y02YQ+7LatrepvewdFPs8hfmXXo=
In-Reply-To: <ujl04e$1ravq$1@solani.org>
X-User-ID: eJwFwQkBwDAIA0BL5SdyWlj8S9hdWEpOeUZ6MKgwjWZ9L5savB9rR+yqtVALzrfAGbxYr+4xnEJJ3VXs+QFQbxUs
 by: Mild Shock - Sun, 26 Nov 2023 12:24 UTC

Dogelog Player is a Prolog system for the
JavaScript, Python and Java platform. We
were facing some test cases that created
huge amounts of Prolog terms and in the
same time had a failure driven loop removing
them at once again. Can our garbage collector
deal with that?

Tri-color can be used to identify old and
new variables. We went on and implemented a
variant of David Ungars generation scavenging.
We could gain various benefits with a new
gc_minor() routine, and the winner was a
backtracking friendly heuristic when to
call it or not.

See also:

Generational GC for Dogelog Player
https://twitter.com/dogelogch/status/1728641232413307092

Generational GC for Dogelog Player
https://www.facebook.com/groups/dogelog

Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

<uk8ifr$2527h$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.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.3 (Tuning Trilogy)
Date: Thu, 30 Nov 2023 00:46:03 +0100
Message-ID: <uk8ifr$2527h$1@solani.org>
References: <uih2gf$194oa$1@solani.org> <uiioh2$1a0k5$1@solani.org>
<ujkrq4$1r0vq$1@solani.org> <ujl04e$1ravq$1@solani.org>
<ujvddu$20dee$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 29 Nov 2023 23:46:03 -0000 (UTC)
Injection-Info: solani.org;
logging-data="2263281"; 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:tVMToQQA9ZtPKl6a5RiwsrTdJuc=
In-Reply-To: <ujvddu$20dee$1@solani.org>
X-User-ID: eJwFwYkBwCAIA8CVqgkBx1Ge/UfonUFL6ZSJNjaBaOFb6ttwC+5VLzOWPXgT95RzVxHZnLiZZ4TOXVMC7QdKTxXP
 by: Mild Shock - Wed, 29 Nov 2023 23:46 UTC

Dogelog Player is a Prolog system 100% written
in Prolog itself. To enable SAT solvers we
gave it a generational garbage collector and
saw performance gain Java 42%, JavaScript 51%
and Python 61%. We compare here with a few
ther Prolog systems.

There are some pratical examples, such as a
half-adder, that take less space in Read-Muller
expansion than in Boolean expansion. The test
suite contains 4 satisfiablity and 4 counting
test cases. Interestingly Dogelog Player for Java
is not last thanks to the performance gain.

See also:

SAT Solvers for Dogelog Player
https://twitter.com/dogelogch/status/1730006702936772841

SAT Solvers for Dogelog Player
https://www.facebook.com/groups/dogelog

Mild Shock schrieb:
> Dogelog Player is a Prolog system for the
> JavaScript, Python and Java platform. We
> were facing some test cases that created
> huge amounts of Prolog terms and in the
> same time had a failure driven loop removing
> them at once again. Can our garbage collector
> deal with that?
>
> Tri-color can be used to identify old and
> new variables. We went on and implemented a
> variant of David Ungars generation scavenging.
> We could gain various benefits with a new
> gc_minor() routine, and the winner was a
> backtracking friendly heuristic when to
> call it or not.
>
> See also:
>
> Generational GC for Dogelog Player
> https://twitter.com/dogelogch/status/1728641232413307092
>
> Generational GC for Dogelog Player
> https://www.facebook.com/groups/dogelog
>


devel / comp.lang.prolog / ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor