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

Groups > comp.lang.prolog > #14538

long live DGCs: Prolog systems before Stargate LLC in 2025 (Was: DCGs are dead: ROKs transformation from FGCS 1982)

Show all headers | View raw

If you are lucky the original DCG rules will
work in your modern Prolog system at the beginning
of Stargate LLC in 2025. Lets see what was the
problem at the time, and whether this problem
has disappeared:

/* ROKs Prolog system */
command(delete(A), B, C) :-
     'C'(B, rm, D),
     file(A, D, C).

/* SWI-Prolog 9.3.24 */
command(delete(A), [rm|B], C) :-
     file(A, B, C).

The SWI-Prolog DCG translation abandons ‘C’/3,
and tries to move the input list into the head.
If you are lucky this will work in your Prolog system
if a couple of things kick in:

- just in time indexing:
   We didn’t place any indexing declaration, so lets
   hope that the prolog system does some automatic indexing.

- multi argument indexing:
   Oh yeah, the DCG input list is not a first argument,
   but a second argument, so the Prolog system needs to do that.

- deep term indexing:
   Oh yeah, the rm token is inside the head of the DCG
   input list, so the Prolog system needs deep indexing as well.

SWI-Prolog provides all these things. The easier
way would have been to automatize the ROK transformation.
In my Prolog system I just do the ROK transformation

here and then manually, it gives ultra fast DCG, possibly
faster than the SWI-Prolog machinery, since it is much more
simple, simplifies JITing and does less often list unpacking,
so that one can write a couple of things in 100% Prolog

which are usually not written in 100% Prolog.

Mild Shock schrieb:
>  > Parse the lines using a DCG
> 
> This was a quite popular subject around the time
> Fifth Generation Computer Systems (FGCS) in 1982
> and made it into a couple of Prolog books from
> the same decade. It was before the relaunch of
> 
> FGCS in the form of Stargate in 2025, and from
> the time were people reading books and not simply
> asking ChatGPT. One of these Prolog books
> is THE BOOK by ROK:
> 
> The Craft of Prolog
> Richard O’Keefe - 1990
> https://mitpress.mit.edu/9780262512275/the-craft-of-prolog/
> 
> His DCG somehow assumes there are already tokens,
> and he then starts discussing these DCG productions:
> 
> command(delete(File)) -->  [rm], file(File).
> command(copy(From,To)) -->  [cp], file(From), file(To).
> command(print(File)) -->  [lpr], file(File).
> 
> He then basically goes into head scratching rampage
> about the current state of DCGs at that time, ultimately
> suggesting some workaround by a cleaner technique
> that promotes the first token
> 
> /* ROKs transformation */
> command(Cmd) --> [Token], command(Token, Cmd).
> 
> command(rm, delete(File)) -->  file(File).
> command(cp, copy(From,To)) -->  file(From), file(To).
> command(lpr, print(File)) -->  file(File).
> 
> into argument indexing. Basically obviating the very idea to
> use the input DCGs in the first place.

Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

DCGs are dead: ROKs transformation from FGCS 1982 Mild Shock <janburse@fastmail.fm> - 2025-06-04 16:50 +0200
  long live DGCs: Prolog systems before Stargate LLC in 2025 (Was: DCGs are dead: ROKs transformation from FGCS 1982) Mild Shock <janburse@fastmail.fm> - 2025-06-04 16:57 +0200
    Stargate LLC is a "shovel" project [Great Ocean Road?] (Was: long live DGCs: Prolog systems before Stargate LLC in 2025) Mild Shock <janburse@fastmail.fm> - 2025-06-04 23:00 +0200

csiph-web