Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

I haven't lost my mind -- it's backed up on tape somewhere.


devel / comp.lang.prolog / Re: Prolog Implementation for Parsing

SubjectAuthor
* Prolog Implementation for ParsingJosh Cho
`* Prolog Implementation for Parsingpeter.l...@gmail.com
 `* Prolog Implementation for ParsingJulio Di Egidio
  `* Prolog Implementation for Parsingpeter.l...@gmail.com
   `* Prolog Implementation for ParsingJulio Di Egidio
    `* Prolog Implementation for ParsingMild Shock
     `- Prolog Implementation for ParsingMild Shock

1
Prolog Implementation for Parsing

<8eeee082-5a92-4a77-b12d-f09186ba7d2an@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:7252:0:b0:400:9629:cfad with SMTP id l18-20020ac87252000000b004009629cfadmr81386qtp.13.1698467975505;
Fri, 27 Oct 2023 21:39:35 -0700 (PDT)
X-Received: by 2002:a05:6870:959d:b0:1e9:8f74:ce15 with SMTP id
k29-20020a056870959d00b001e98f74ce15mr2020595oao.11.1698467974988; Fri, 27
Oct 2023 21:39:34 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.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: Fri, 27 Oct 2023 21:39:34 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=175.209.202.163; posting-account=DLJTUgoAAABpubtZCxgFV4jJ5ici1Cu9
NNTP-Posting-Host: 175.209.202.163
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8eeee082-5a92-4a77-b12d-f09186ba7d2an@googlegroups.com>
Subject: Prolog Implementation for Parsing
From: joshcho...@gmail.com (Josh Cho)
Injection-Date: Sat, 28 Oct 2023 04:39:35 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1471
 by: Josh Cho - Sat, 28 Oct 2023 04:39 UTC

Fairly new here. I am trying to use Prolog for parsing and analyzing code. Essentially I want to flatten the AST into facts so that with rules, I may query over them. I want to parse Clojure atm, but would like something general. Which Prolog implementations are appropriate?

Also relevant is this article: https://marcellerusu.com/using_prolog_as_the_ast.html

Sincerely,
Josh Cho

Stanford B.S./M.S. in Computer Science

Re: Prolog Implementation for Parsing

<3a0c6867-e000-48d7-bac7-73b166dc0903n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:4a82:0:b0:41c:b66a:540 with SMTP id l2-20020ac84a82000000b0041cb66a0540mr96448qtq.12.1698512624458;
Sat, 28 Oct 2023 10:03:44 -0700 (PDT)
X-Received: by 2002:a05:6870:8094:b0:1ef:9ee0:3378 with SMTP id
q20-20020a056870809400b001ef9ee03378mr925371oab.0.1698512624147; Sat, 28 Oct
2023 10:03:44 -0700 (PDT)
Path: i2pn2.org!i2pn.org!newsfeed.endofthelinebbs.com!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.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: Sat, 28 Oct 2023 10:03:43 -0700 (PDT)
In-Reply-To: <8eeee082-5a92-4a77-b12d-f09186ba7d2an@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:1700:3ec0:bdb0:68b7:a683:f8a5:b7fe;
posting-account=9gAkzgoAAABofvlOzclSGAYgk2QpaXiQ
NNTP-Posting-Host: 2600:1700:3ec0:bdb0:68b7:a683:f8a5:b7fe
References: <8eeee082-5a92-4a77-b12d-f09186ba7d2an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3a0c6867-e000-48d7-bac7-73b166dc0903n@googlegroups.com>
Subject: Re: Prolog Implementation for Parsing
From: peter.lu...@gmail.com (peter.l...@gmail.com)
Injection-Date: Sat, 28 Oct 2023 17:03:44 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2700
 by: peter.l...@gmail.com - Sat, 28 Oct 2023 17:03 UTC

There's a rather old paper: "Logic Programming and Compiler Writing" by David H.D. Warren. Also Peter Van Roy's PhD thesis on the "Aquarius" compiler.
See also Abrahams and Dahl "Logic Grammars" (you can find some simple code for DCTGs on the internet, although it's a somewhat slow implementation).

I wrote some code for processing Python ASTs: https://github.com/kamahen/pykythe (pykythe.pl, predicate kynode)..
It has what looks like a big pattern-matching "case" statement on the various AST node types. I intend to rewrite this code somewhat, using a newer way of handling accumulators (https://swi-prolog.discourse.group/t/dealing-with-state/6866/10 but modified to use "records" instead of "dicts" (https://swi-prolog.discourse.group/t/dealing-with-state/6866/50).

You might find it more productive to discuss in https://swi-prolog.discourse.group rather than here.

On Friday, October 27, 2023 at 9:39:36 PM UTC-7, Josh Cho wrote:
> Fairly new here. I am trying to use Prolog for parsing and analyzing code.. Essentially I want to flatten the AST into facts so that with rules, I may query over them. I want to parse Clojure atm, but would like something general. Which Prolog implementations are appropriate?
>
> Also relevant is this article: https://marcellerusu.com/using_prolog_as_the_ast.html
>
> Sincerely,
> Josh Cho
>
> Stanford B.S./M.S. in Computer Science

Re: Prolog Implementation for Parsing

<0f45d0b4-94e5-4f7a-bec1-1e78ce18991cn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:a4a:b0:66d:260:d0ed with SMTP id ee10-20020a0562140a4a00b0066d0260d0edmr113277qvb.8.1698534638104;
Sat, 28 Oct 2023 16:10:38 -0700 (PDT)
X-Received: by 2002:a05:6830:348c:b0:6bc:ac3d:2b77 with SMTP id
c12-20020a056830348c00b006bcac3d2b77mr2892702otu.2.1698534637845; Sat, 28 Oct
2023 16:10:37 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!feeder.erje.net!border-1.nntp.ord.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: Sat, 28 Oct 2023 16:10:37 -0700 (PDT)
In-Reply-To: <3a0c6867-e000-48d7-bac7-73b166dc0903n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=93.44.215.111; posting-account=F3H0JAgAAADcYVukktnHx7hFG5stjWse
NNTP-Posting-Host: 93.44.215.111
References: <8eeee082-5a92-4a77-b12d-f09186ba7d2an@googlegroups.com> <3a0c6867-e000-48d7-bac7-73b166dc0903n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0f45d0b4-94e5-4f7a-bec1-1e78ce18991cn@googlegroups.com>
Subject: Re: Prolog Implementation for Parsing
From: jul...@diegidio.name (Julio Di Egidio)
Injection-Date: Sat, 28 Oct 2023 23:10:38 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 37
 by: Julio Di Egidio - Sat, 28 Oct 2023 23:10 UTC

On Saturday, 28 October 2023 at 19:03:45 UTC+2, peter.l...@gmail.com wrote:
> On Friday, October 27, 2023 at 9:39:36 PM UTC-7, Josh Cho wrote:
> > Fairly new here. I am trying to use Prolog for parsing and analyzing code. Essentially I want to flatten the AST into facts so that with rules, I may query over them. I want to parse Clojure atm, but would like something general. Which Prolog implementations are appropriate?
> >
> > Also relevant is this article: https://marcellerusu.com/using_prolog_as_the_ast.html
>
> There's a rather old paper: "Logic Programming and Compiler Writing" by David H.D. Warren. Also Peter Van Roy's PhD thesis on the "Aquarius" compiler.
> See also Abrahams and Dahl "Logic Grammars" (you can find some simple code for DCTGs on the internet, although it's a somewhat slow implementation).

Parsing is a typical application for Prolog and there is a ton of material available online at all levels: <https://start.duckduckgo.com/?q=Prolog+parsing+AST>

> I wrote some code for processing Python ASTs: https://github.com/kamahen/pykythe (pykythe.pl, predicate kynode)..
> It has what looks like a big pattern-matching "case" statement on the various AST node types. I intend to rewrite this code somewhat, using a newer way of handling accumulators (https://swi-prolog.discourse.group/t/dealing-with-state/6866/10" rel="nofollow" target="_blank">https://swi-prolog.discourse.group/t/dealing-with-state/6866/10 but modified to use "records" instead of "dicts" (https://swi-prolog.discourse.group/t/dealing-with-state/6866/50).
>
> You might find it more productive to discuss in https://swi-prolog.discourse.group rather than here.

Ah, now I see what job you are here for...

*Troll Alert*

Julio

Re: Prolog Implementation for Parsing

<df5cd636-d87c-4b00-a8fb-1a99e7f2e5c9n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ad4:4bb4:0:b0:66c:fff5:4db1 with SMTP id i20-20020ad44bb4000000b0066cfff54db1mr102608qvw.10.1698535103220;
Sat, 28 Oct 2023 16:18:23 -0700 (PDT)
X-Received: by 2002:a05:6870:36d4:b0:1e9:9202:20c6 with SMTP id
u20-20020a05687036d400b001e9920220c6mr3008393oak.0.1698535102880; Sat, 28 Oct
2023 16:18:22 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.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: Sat, 28 Oct 2023 16:18:22 -0700 (PDT)
In-Reply-To: <0f45d0b4-94e5-4f7a-bec1-1e78ce18991cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:1700:3ec0:bdb0:68b7:a683:f8a5:b7fe;
posting-account=9gAkzgoAAABofvlOzclSGAYgk2QpaXiQ
NNTP-Posting-Host: 2600:1700:3ec0:bdb0:68b7:a683:f8a5:b7fe
References: <8eeee082-5a92-4a77-b12d-f09186ba7d2an@googlegroups.com>
<3a0c6867-e000-48d7-bac7-73b166dc0903n@googlegroups.com> <0f45d0b4-94e5-4f7a-bec1-1e78ce18991cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <df5cd636-d87c-4b00-a8fb-1a99e7f2e5c9n@googlegroups.com>
Subject: Re: Prolog Implementation for Parsing
From: peter.lu...@gmail.com (peter.l...@gmail.com)
Injection-Date: Sat, 28 Oct 2023 23:18:23 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3585
 by: peter.l...@gmail.com - Sat, 28 Oct 2023 23:18 UTC

On Saturday, October 28, 2023 at 4:10:39 PM UTC-7, Julio Di Egidio wrote:
> On Saturday, 28 October 2023 at 19:03:45 UTC+2, peter.l...@gmail.com wrote:
> > On Friday, October 27, 2023 at 9:39:36 PM UTC-7, Josh Cho wrote:
> > > Fairly new here. I am trying to use Prolog for parsing and analyzing code. Essentially I want to flatten the AST into facts so that with rules, I may query over them. I want to parse Clojure atm, but would like something general. Which Prolog implementations are appropriate?
> > >
> > > Also relevant is this article: https://marcellerusu.com/using_prolog_as_the_ast.html
> >
> > There's a rather old paper: "Logic Programming and Compiler Writing" by David H.D. Warren. Also Peter Van Roy's PhD thesis on the "Aquarius" compiler.
> > See also Abrahams and Dahl "Logic Grammars" (you can find some simple code for DCTGs on the internet, although it's a somewhat slow implementation).
> Parsing is a typical application for Prolog and there is a ton of material available online at all levels: <https://start.duckduckgo.com/?q=Prolog+parsing+AST>
> > I wrote some code for processing Python ASTs: https://github.com/kamahen/pykythe (pykythe.pl, predicate kynode)..
> > It has what looks like a big pattern-matching "case" statement on the various AST node types. I intend to rewrite this code somewhat, using a newer way of handling accumulators (https://swi-prolog.discourse.group/t/dealing-with-state/6866/10" rel="nofollow" target="_blank">https://swi-prolog.discourse.group/t/dealing-with-state/6866/10 but modified to use "records" instead of "dicts" (https://swi-prolog.discourse.group/t/dealing-with-state/6866/50).
> >
> > You might find it more productive to discuss in https://swi-prolog.discourse.group rather than here.
> Ah, now I see what job you are here for...
>
> *Troll Alert*

Nope - it's just that I don't read comp.lang.prolog often, but do read https://swi-prolog.discourse.group (moved from https://groups.google.com/g/swi-prolog), which is officially about SWI-Prolog but often has more general discussion about Prolog.
(I miss the good old days of the "Prolog Digest" with Chuck Restivo, The Moderator)
- peter

>
> Julio

Re: Prolog Implementation for Parsing

<1d716ed1-4388-4507-b64c-e21ed8f865dbn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:3d10:b0:773:149e:1473 with SMTP id tq16-20020a05620a3d1000b00773149e1473mr96089qkn.12.1698535489822;
Sat, 28 Oct 2023 16:24:49 -0700 (PDT)
X-Received: by 2002:a05:6808:1393:b0:3a1:c163:6022 with SMTP id
c19-20020a056808139300b003a1c1636022mr2407607oiw.4.1698535489380; Sat, 28 Oct
2023 16:24:49 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.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: Sat, 28 Oct 2023 16:24:49 -0700 (PDT)
In-Reply-To: <df5cd636-d87c-4b00-a8fb-1a99e7f2e5c9n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=93.44.215.111; posting-account=F3H0JAgAAADcYVukktnHx7hFG5stjWse
NNTP-Posting-Host: 93.44.215.111
References: <8eeee082-5a92-4a77-b12d-f09186ba7d2an@googlegroups.com>
<3a0c6867-e000-48d7-bac7-73b166dc0903n@googlegroups.com> <0f45d0b4-94e5-4f7a-bec1-1e78ce18991cn@googlegroups.com>
<df5cd636-d87c-4b00-a8fb-1a99e7f2e5c9n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1d716ed1-4388-4507-b64c-e21ed8f865dbn@googlegroups.com>
Subject: Re: Prolog Implementation for Parsing
From: jul...@diegidio.name (Julio Di Egidio)
Injection-Date: Sat, 28 Oct 2023 23:24:49 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2586
 by: Julio Di Egidio - Sat, 28 Oct 2023 23:24 UTC

On Sunday, 29 October 2023 at 01:18:24 UTC+2, peter.l...@gmail.com wrote:
> On Saturday, October 28, 2023 at 4:10:39 PM UTC-7, Julio Di Egidio wrote:
> > On Saturday, 28 October 2023 at 19:03:45 UTC+2, peter.l...@gmail.com wrote:
<snip>
> > > You might find it more productive to discuss in https://swi-prolog.discourse.group rather than here.
>
> > Ah, now I see what job you are here for...
> >
> > *Troll Alert*
>
> Nope - it's just that I don't read comp.lang.prolog often, but do read https://swi-prolog.discourse.group (moved from https://groups.google.com/g/swi-prolog), which is officially about SWI-Prolog but often has more general discussion about Prolog. (I miss the good old days of the "Prolog Digest" with Chuck Restivo, The Moderator)

I don't believe you, especially considering the actual history and why we are where we are. Anyway, as an old timer, you should at least know that pointing users somewhere else is very poor etiquette to say the least: especially since I for one am still around here and kicking, in fact almost the only active user left.

But I'm an optimist, I might be wrong: let's see what happens next.

Julio

Re: Prolog Implementation for Parsing

<1e70112f-40f4-43a6-bedc-a304849a2f2bn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a0c:e5c1:0:b0:66d:1308:1836 with SMTP id u1-20020a0ce5c1000000b0066d13081836mr217425qvm.2.1699218130683;
Sun, 05 Nov 2023 13:02:10 -0800 (PST)
X-Received: by 2002:a0d:d591:0:b0:583:4f82:b9d9 with SMTP id
x139-20020a0dd591000000b005834f82b9d9mr174686ywd.5.1699218130363; Sun, 05 Nov
2023 13:02:10 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.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: Sun, 5 Nov 2023 13:02:10 -0800 (PST)
In-Reply-To: <1d716ed1-4388-4507-b64c-e21ed8f865dbn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.50.239; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.50.239
References: <8eeee082-5a92-4a77-b12d-f09186ba7d2an@googlegroups.com>
<3a0c6867-e000-48d7-bac7-73b166dc0903n@googlegroups.com> <0f45d0b4-94e5-4f7a-bec1-1e78ce18991cn@googlegroups.com>
<df5cd636-d87c-4b00-a8fb-1a99e7f2e5c9n@googlegroups.com> <1d716ed1-4388-4507-b64c-e21ed8f865dbn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1e70112f-40f4-43a6-bedc-a304849a2f2bn@googlegroups.com>
Subject: Re: Prolog Implementation for Parsing
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sun, 05 Nov 2023 21:02:10 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2929
 by: Mild Shock - Sun, 5 Nov 2023 21:02 UTC

Says the guy with no brains, who even doesnt understand
simple call/1 examples. The contrary of alive and kicking.

More a brain dead Prolog zombie about to desintegrate.

LoL

Julio Di Egidio schrieb am Sonntag, 29. Oktober 2023 um 01:24:50 UTC+2:
> On Sunday, 29 October 2023 at 01:18:24 UTC+2, peter.l...@gmail.com wrote:
> > On Saturday, October 28, 2023 at 4:10:39 PM UTC-7, Julio Di Egidio wrote:
> > > On Saturday, 28 October 2023 at 19:03:45 UTC+2, peter.l...@gmail.com wrote:
> <snip>
> > > > You might find it more productive to discuss in https://swi-prolog.discourse.group rather than here.
> >
> > > Ah, now I see what job you are here for...
> > >
> > > *Troll Alert*
> >
> > Nope - it's just that I don't read comp.lang.prolog often, but do read https://swi-prolog.discourse.group (moved from https://groups.google.com/g/swi-prolog), which is officially about SWI-Prolog but often has more general discussion about Prolog. (I miss the good old days of the "Prolog Digest" with Chuck Restivo, The Moderator)
> I don't believe you, especially considering the actual history and why we are where we are. Anyway, as an old timer, you should at least know that pointing users somewhere else is very poor etiquette to say the least: especially since I for one am still around here and kicking, in fact almost the only active user left.
>
> But I'm an optimist, I might be wrong: let's see what happens next.
>
> Julio

Re: Prolog Implementation for Parsing

<2e6797cd-bdb3-4e3c-8370-eef3038d7befn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:580e:b0:66d:5d84:f830 with SMTP id mk14-20020a056214580e00b0066d5d84f830mr493615qvb.1.1699218726398;
Sun, 05 Nov 2023 13:12:06 -0800 (PST)
X-Received: by 2002:a05:6808:b0f:b0:3a3:7087:bbfb with SMTP id
s15-20020a0568080b0f00b003a37087bbfbmr9773761oij.6.1699218726161; Sun, 05 Nov
2023 13:12:06 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.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: Sun, 5 Nov 2023 13:12:05 -0800 (PST)
In-Reply-To: <1e70112f-40f4-43a6-bedc-a304849a2f2bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.50.239; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.50.239
References: <8eeee082-5a92-4a77-b12d-f09186ba7d2an@googlegroups.com>
<3a0c6867-e000-48d7-bac7-73b166dc0903n@googlegroups.com> <0f45d0b4-94e5-4f7a-bec1-1e78ce18991cn@googlegroups.com>
<df5cd636-d87c-4b00-a8fb-1a99e7f2e5c9n@googlegroups.com> <1d716ed1-4388-4507-b64c-e21ed8f865dbn@googlegroups.com>
<1e70112f-40f4-43a6-bedc-a304849a2f2bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2e6797cd-bdb3-4e3c-8370-eef3038d7befn@googlegroups.com>
Subject: Re: Prolog Implementation for Parsing
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sun, 05 Nov 2023 21:12:06 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3725
 by: Mild Shock - Sun, 5 Nov 2023 21:12 UTC

Culio is as brain dead as LogNonsenseTalk.
These negation tests are also rather minimal:

https://github.com/LogtalkDotOrg/logtalk3/tree/master/tests/prolog/predicates/not_1

Understandable, if \+ is bootstrapped as specified
the unit test for call/1, etc.. should suffice. More test
cases are only needed if one is sceptical about the

bootstrapping of \+ or its compilation. Currently in
the process of creating more „Novacore“ test cases.
Unfortunately the domain www.novacore.ch wasn‘t

available anymore, so I went for:

www.novacuor.ch

Mild Shock schrieb am Sonntag, 5. November 2023 um 22:02:12 UTC+1:
> Says the guy with no brains, who even doesnt understand
> simple call/1 examples. The contrary of alive and kicking.
>
> More a brain dead Prolog zombie about to desintegrate.
>
> LoL
> Julio Di Egidio schrieb am Sonntag, 29. Oktober 2023 um 01:24:50 UTC+2:
> > On Sunday, 29 October 2023 at 01:18:24 UTC+2, peter.l...@gmail.com wrote:
> > > On Saturday, October 28, 2023 at 4:10:39 PM UTC-7, Julio Di Egidio wrote:
> > > > On Saturday, 28 October 2023 at 19:03:45 UTC+2, peter.l...@gmail.com wrote:
> > <snip>
> > > > > You might find it more productive to discuss in https://swi-prolog.discourse.group rather than here.
> > >
> > > > Ah, now I see what job you are here for...
> > > >
> > > > *Troll Alert*
> > >
> > > Nope - it's just that I don't read comp.lang.prolog often, but do read https://swi-prolog.discourse.group (moved from https://groups.google.com/g/swi-prolog), which is officially about SWI-Prolog but often has more general discussion about Prolog. (I miss the good old days of the "Prolog Digest" with Chuck Restivo, The Moderator)
> > I don't believe you, especially considering the actual history and why we are where we are. Anyway, as an old timer, you should at least know that pointing users somewhere else is very poor etiquette to say the least: especially since I for one am still around here and kicking, in fact almost the only active user left.
> >
> > But I'm an optimist, I might be wrong: let's see what happens next.
> >
> > Julio


devel / comp.lang.prolog / Re: Prolog Implementation for Parsing

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor