Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.java.programmer > #53774 > unrolled thread

A rogue '$CUT'/1 for Dogelog Player (Re: 5 Minutes Implementation of Prolog catch/3 and throw/1)

Back to article view | Back to comp.lang.java.programmer

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.

Contents

  A rogue '$CUT'/1 for Dogelog Player (Re: 5 Minutes Implementation of Prolog catch/3 and throw/1) Mild Shock <janburse@fastmail.fm> - 2026-09-17 15:11 +0200

#53774 — A rogue '$CUT'/1 for Dogelog Player (Re: 5 Minutes Implementation of Prolog catch/3 and throw/1)

Hi,

Dogelog Player is a Prolog system for the
JavaScript, Python and Java target, mostly
written in 100% Prolog itself. So far we only
provided once_cleanup/2 to deal with resource
managment. It turns out we could secure a
call_cleanup/2 through a simple mechanism.

Drawing on a phrasing in a BIM Prolog document
from 1984, we could implement the post-N215
semantics of call_cleanup/2. Since we had
eliminated the native stack use from catch/3,
we could again apply patterns of continuation
manipulation for events in the continuation.

Bye

See also:

A rogue ‘$CUT’/1 for Dogelog Player
https://medium.com/2989/f41c71265331

Mild Shock schrieb:
 > Hi,
 >
 > Dogelog Player is a Prolog system for the
 > JavaScript, Python and Java target, mostly
 > written in 100% Prolog itself. Since it runs in
 > cooperative multitasking enviroments, it features a
 > ‘$YIELD’/1. We noticed that catch/3 causes some
 > friction and we found a simple remedy.
 >
 > The friction was caused by a switch from Prolog,
 > to Host Language and to Prolog so that ‘$YIELD’/1
 > had to create choice points. We eleminated both.
 > The new catch/3 realization can easily scale to
 > millions of nestings, since it has become
 > independent of the native stack.
 >
 > Bye
 >
 > See also:
 >
 > 5 Minutes Implementation of Prolog catch/3 and throw/1
 > https://medium.com/2989/dc662b85fcb2

[toc] | [standalone]

Back to top | Article view | comp.lang.java.programmer

csiph-web