Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

God requireth not a uniformity of religion. -- Roger Williams


devel / comp.lang.prolog / Re: Cut opaqueness in ISO prolog

SubjectAuthor
* Cut opaqueness in ISO prologMild Shock
`* Cut opaqueness in ISO prologMild Shock
 `* Cut opaqueness in ISO prologMild Shock
  `* Cut opaqueness in ISO prologMild Shock
   `* Cut opaqueness in ISO prologMild Shock
    `* Cut opaqueness in ISO prologMild Shock
     `* Cut opaqueness in ISO prologMild Shock
      `* Cut opaqueness in ISO prologMild Shock
       `* Cut opaqueness in ISO prologMild Shock
        `* Cut opaqueness in ISO prologJulio Di Egidio
         `* Cut opaqueness in ISO prologMild Shock
          +- Cut opaqueness in ISO prologMild Shock
          `* Cut opaqueness in ISO prologJulio Di Egidio
           +- Cut opaqueness in ISO prologJulio Di Egidio
           +- Cut opaqueness in ISO prologMild Shock
           `* Cut opaqueness in ISO prologMild Shock
            +- Cut opaqueness in ISO prologMild Shock
            `* Cut opaqueness in ISO prologJulio Di Egidio
             +- Cut opaqueness in ISO prologMild Shock
             `* Cut opaqueness in ISO prologMild Shock
              `* Cut opaqueness in ISO prologMild Shock
               +- Cut opaqueness in ISO prologMild Shock
               `* Cut opaqueness in ISO prologJulio Di Egidio
                +* Cut opaqueness in ISO prologJulio Di Egidio
                |`- Cut opaqueness in ISO prologJulio Di Egidio
                `* Cut opaqueness in ISO prologMild Shock
                 +- Cut opaqueness in ISO prologMild Shock
                 +- Cut opaqueness in ISO prologJulio Di Egidio
                 +- Cut opaqueness in ISO prologMild Shock
                 +- Cut opaqueness in ISO prologMild Shock
                 `- Cut opaqueness in ISO prologMild Shock

Pages:12
Re: Cut opaqueness in ISO prolog

<66aadb4b-60f1-4224-8ddb-83bb374bfc95n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:8b8a:b0:76f:1b38:e73d with SMTP id qx10-20020a05620a8b8a00b0076f1b38e73dmr501072qkn.10.1699217854643;
Sun, 05 Nov 2023 12:57:34 -0800 (PST)
X-Received: by 2002:a9d:7b50:0:b0:6b9:620e:d6a7 with SMTP id
f16-20020a9d7b50000000b006b9620ed6a7mr3086764oto.1.1699217854447; Sun, 05 Nov
2023 12:57:34 -0800 (PST)
Path: i2pn2.org!i2pn.org!news.1d4.us!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 12:57:34 -0800 (PST)
In-Reply-To: <02bfb40a-7123-4ece-a1ff-168128a89e43n@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: <2016759a-13dd-4558-9bf0-b99571032171@googlegroups.com>
<4a9df624-2d0f-4376-a8fa-5de46b9570e5n@googlegroups.com> <8732c8be-ef95-4c75-b199-f72e991c6e88n@googlegroups.com>
<3934ab16-1fca-4ca8-8423-28bc07bf690cn@googlegroups.com> <406ecd73-aaba-4767-a0ae-b630968e6146n@googlegroups.com>
<9d07b439-b1f7-4ac2-a931-7dea1a1a518dn@googlegroups.com> <62a62a46-d980-4abf-87f9-3b45ca1df921n@googlegroups.com>
<e5a5ffc1-3e89-4cc8-93ec-db12e88d5b0en@googlegroups.com> <347cd0f6-5a9f-4468-a4d6-a5aa7a526d44n@googlegroups.com>
<d6a989b4-8022-4176-82b5-1400da043788n@googlegroups.com> <ea771419-1521-4447-9d62-8bdae7638a48n@googlegroups.com>
<ui4840$12q1s$1@solani.org> <e019d65e-f490-410b-9a4f-500460283d76n@googlegroups.com>
<ui5u1a$13li8$2@solani.org> <237b1d3d-a682-47ea-bbbf-c052a8fc1b23n@googlegroups.com>
<27193671-26a8-40aa-9887-63e003b40374n@googlegroups.com> <a26c4585-8426-413f-b7d4-4ab82f49409an@googlegroups.com>
<02bfb40a-7123-4ece-a1ff-168128a89e43n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <66aadb4b-60f1-4224-8ddb-83bb374bfc95n@googlegroups.com>
Subject: Re: Cut opaqueness in ISO prolog
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sun, 05 Nov 2023 20:57:34 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2406
 by: Mild Shock - Sun, 5 Nov 2023 20:57 UTC

Just read the ISO core standard moron.
The test cases have an explanation comment.

You cant get any lower. Dont come back before
you have read it and understood it, show brains.

Julio Di Egidio schrieb am Sonntag, 5. November 2023 um 21:14:49 UTC+1:
> > Can you explain what happens Culio?
> Thanks for that, Burp. I can't. Can you?
>
> Julio

Re: Cut opaqueness in ISO prolog

<6e70021c-e7c2-4996-b19f-1a5068729a1fn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ad4:4e28:0:b0:66c:fcbc:43e1 with SMTP id dm8-20020ad44e28000000b0066cfcbc43e1mr465444qvb.0.1699219414175;
Sun, 05 Nov 2023 13:23:34 -0800 (PST)
X-Received: by 2002:a05:6808:1a02:b0:3a7:27a:86e3 with SMTP id
bk2-20020a0568081a0200b003a7027a86e3mr11672551oib.3.1699219413999; Sun, 05
Nov 2023 13:23:33 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!3.us.feeder.erje.net!feeder.erje.net!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:23:33 -0800 (PST)
In-Reply-To: <66aadb4b-60f1-4224-8ddb-83bb374bfc95n@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: <2016759a-13dd-4558-9bf0-b99571032171@googlegroups.com>
<4a9df624-2d0f-4376-a8fa-5de46b9570e5n@googlegroups.com> <8732c8be-ef95-4c75-b199-f72e991c6e88n@googlegroups.com>
<3934ab16-1fca-4ca8-8423-28bc07bf690cn@googlegroups.com> <406ecd73-aaba-4767-a0ae-b630968e6146n@googlegroups.com>
<9d07b439-b1f7-4ac2-a931-7dea1a1a518dn@googlegroups.com> <62a62a46-d980-4abf-87f9-3b45ca1df921n@googlegroups.com>
<e5a5ffc1-3e89-4cc8-93ec-db12e88d5b0en@googlegroups.com> <347cd0f6-5a9f-4468-a4d6-a5aa7a526d44n@googlegroups.com>
<d6a989b4-8022-4176-82b5-1400da043788n@googlegroups.com> <ea771419-1521-4447-9d62-8bdae7638a48n@googlegroups.com>
<ui4840$12q1s$1@solani.org> <e019d65e-f490-410b-9a4f-500460283d76n@googlegroups.com>
<ui5u1a$13li8$2@solani.org> <237b1d3d-a682-47ea-bbbf-c052a8fc1b23n@googlegroups.com>
<27193671-26a8-40aa-9887-63e003b40374n@googlegroups.com> <a26c4585-8426-413f-b7d4-4ab82f49409an@googlegroups.com>
<02bfb40a-7123-4ece-a1ff-168128a89e43n@googlegroups.com> <66aadb4b-60f1-4224-8ddb-83bb374bfc95n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6e70021c-e7c2-4996-b19f-1a5068729a1fn@googlegroups.com>
Subject: Re: Cut opaqueness in ISO prolog
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sun, 05 Nov 2023 21:23:34 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2741
 by: Mild Shock - Sun, 5 Nov 2023 21:23 UTC

Ha Ha, Culio not far away from SBF:

SBF‘s Final Lie - I am not crook
https://m.youtube.com/watch?v=uy_ZrmzHAoo

Mild Shock schrieb am Sonntag, 5. November 2023 um 21:57:35 UTC+1:
> Just read the ISO core standard moron.
> The test cases have an explanation comment.
>
> You cant get any lower. Dont come back before
> you have read it and understood it, show brains.
> Julio Di Egidio schrieb am Sonntag, 5. November 2023 um 21:14:49 UTC+1:
> > > Can you explain what happens Culio?
> > Thanks for that, Burp. I can't. Can you?
> >
> > Julio

Re: Cut opaqueness in ISO prolog

<0dda8582-cfe0-4df9-abbe-7bf2b5aaab12n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:74d3:0:b0:41c:b481:5e8c with SMTP id j19-20020ac874d3000000b0041cb4815e8cmr472999qtr.4.1699221389186;
Sun, 05 Nov 2023 13:56:29 -0800 (PST)
X-Received: by 2002:a05:6870:d183:b0:1e1:15ca:2aa1 with SMTP id
a3-20020a056870d18300b001e115ca2aa1mr12915677oac.11.1699221388940; Sun, 05
Nov 2023 13:56:28 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!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:56:28 -0800 (PST)
In-Reply-To: <66aadb4b-60f1-4224-8ddb-83bb374bfc95n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=93.44.209.203; posting-account=F3H0JAgAAADcYVukktnHx7hFG5stjWse
NNTP-Posting-Host: 93.44.209.203
References: <2016759a-13dd-4558-9bf0-b99571032171@googlegroups.com>
<4a9df624-2d0f-4376-a8fa-5de46b9570e5n@googlegroups.com> <8732c8be-ef95-4c75-b199-f72e991c6e88n@googlegroups.com>
<3934ab16-1fca-4ca8-8423-28bc07bf690cn@googlegroups.com> <406ecd73-aaba-4767-a0ae-b630968e6146n@googlegroups.com>
<9d07b439-b1f7-4ac2-a931-7dea1a1a518dn@googlegroups.com> <62a62a46-d980-4abf-87f9-3b45ca1df921n@googlegroups.com>
<e5a5ffc1-3e89-4cc8-93ec-db12e88d5b0en@googlegroups.com> <347cd0f6-5a9f-4468-a4d6-a5aa7a526d44n@googlegroups.com>
<d6a989b4-8022-4176-82b5-1400da043788n@googlegroups.com> <ea771419-1521-4447-9d62-8bdae7638a48n@googlegroups.com>
<ui4840$12q1s$1@solani.org> <e019d65e-f490-410b-9a4f-500460283d76n@googlegroups.com>
<ui5u1a$13li8$2@solani.org> <237b1d3d-a682-47ea-bbbf-c052a8fc1b23n@googlegroups.com>
<27193671-26a8-40aa-9887-63e003b40374n@googlegroups.com> <a26c4585-8426-413f-b7d4-4ab82f49409an@googlegroups.com>
<02bfb40a-7123-4ece-a1ff-168128a89e43n@googlegroups.com> <66aadb4b-60f1-4224-8ddb-83bb374bfc95n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0dda8582-cfe0-4df9-abbe-7bf2b5aaab12n@googlegroups.com>
Subject: Re: Cut opaqueness in ISO prolog
From: jul...@diegidio.name (Julio Di Egidio)
Injection-Date: Sun, 05 Nov 2023 21:56:29 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Julio Di Egidio - Sun, 5 Nov 2023 21:56 UTC

On Sunday, 5 November 2023 at 21:57:35 UTC+1, Mild Shock wrote:

> Just read the ISO core standard moron.
> The test cases have an explanation comment.

You are a fucking lost cause.

*Plonk*

Julio

Re: Cut opaqueness in ISO prolog

<531c5285-00ba-4ce8-b970-7540bebc788dn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:678c:b0:40f:e2a5:3100 with SMTP id hz12-20020a05622a678c00b0040fe2a53100mr158272qtb.6.1699223115649;
Sun, 05 Nov 2023 14:25:15 -0800 (PST)
X-Received: by 2002:a05:6870:595:b0:1ea:37d:c12b with SMTP id
m21-20020a056870059500b001ea037dc12bmr13458060oap.2.1699223115435; Sun, 05
Nov 2023 14:25:15 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!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 14:25:15 -0800 (PST)
In-Reply-To: <0dda8582-cfe0-4df9-abbe-7bf2b5aaab12n@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: <2016759a-13dd-4558-9bf0-b99571032171@googlegroups.com>
<4a9df624-2d0f-4376-a8fa-5de46b9570e5n@googlegroups.com> <8732c8be-ef95-4c75-b199-f72e991c6e88n@googlegroups.com>
<3934ab16-1fca-4ca8-8423-28bc07bf690cn@googlegroups.com> <406ecd73-aaba-4767-a0ae-b630968e6146n@googlegroups.com>
<9d07b439-b1f7-4ac2-a931-7dea1a1a518dn@googlegroups.com> <62a62a46-d980-4abf-87f9-3b45ca1df921n@googlegroups.com>
<e5a5ffc1-3e89-4cc8-93ec-db12e88d5b0en@googlegroups.com> <347cd0f6-5a9f-4468-a4d6-a5aa7a526d44n@googlegroups.com>
<d6a989b4-8022-4176-82b5-1400da043788n@googlegroups.com> <ea771419-1521-4447-9d62-8bdae7638a48n@googlegroups.com>
<ui4840$12q1s$1@solani.org> <e019d65e-f490-410b-9a4f-500460283d76n@googlegroups.com>
<ui5u1a$13li8$2@solani.org> <237b1d3d-a682-47ea-bbbf-c052a8fc1b23n@googlegroups.com>
<27193671-26a8-40aa-9887-63e003b40374n@googlegroups.com> <a26c4585-8426-413f-b7d4-4ab82f49409an@googlegroups.com>
<02bfb40a-7123-4ece-a1ff-168128a89e43n@googlegroups.com> <66aadb4b-60f1-4224-8ddb-83bb374bfc95n@googlegroups.com>
<0dda8582-cfe0-4df9-abbe-7bf2b5aaab12n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <531c5285-00ba-4ce8-b970-7540bebc788dn@googlegroups.com>
Subject: Re: Cut opaqueness in ISO prolog
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sun, 05 Nov 2023 22:25:15 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mild Shock - Sun, 5 Nov 2023 22:25 UTC

Do you say you need to go to the ISO core standard to understand
the call/1 and the cut? Aren't there millions of tutorials around?

Come on, Culio. You can do it. Go, Go!

Julio Di Egidio schrieb am Sonntag, 5. November 2023 um 22:56:30 UTC+1:
> On Sunday, 5 November 2023 at 21:57:35 UTC+1, Mild Shock wrote:
>
> > Just read the ISO core standard moron.
> > The test cases have an explanation comment.
> You are a fucking lost cause.
>
> *Plonk*
>
> Julio

Re: Cut opaqueness in ISO prolog

<be3b77b8-773d-4fa1-94bd-9f9fc6de680cn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:59cd:b0:41c:d559:4ea with SMTP id gc13-20020a05622a59cd00b0041cd55904eamr136941qtb.6.1699458651606;
Wed, 08 Nov 2023 07:50:51 -0800 (PST)
X-Received: by 2002:a05:6808:1b13:b0:3b2:df8a:21b2 with SMTP id
bx19-20020a0568081b1300b003b2df8a21b2mr917652oib.8.1699458651322; Wed, 08 Nov
2023 07:50:51 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!border-2.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: Wed, 8 Nov 2023 07:50:51 -0800 (PST)
In-Reply-To: <531c5285-00ba-4ce8-b970-7540bebc788dn@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: <2016759a-13dd-4558-9bf0-b99571032171@googlegroups.com>
<4a9df624-2d0f-4376-a8fa-5de46b9570e5n@googlegroups.com> <8732c8be-ef95-4c75-b199-f72e991c6e88n@googlegroups.com>
<3934ab16-1fca-4ca8-8423-28bc07bf690cn@googlegroups.com> <406ecd73-aaba-4767-a0ae-b630968e6146n@googlegroups.com>
<9d07b439-b1f7-4ac2-a931-7dea1a1a518dn@googlegroups.com> <62a62a46-d980-4abf-87f9-3b45ca1df921n@googlegroups.com>
<e5a5ffc1-3e89-4cc8-93ec-db12e88d5b0en@googlegroups.com> <347cd0f6-5a9f-4468-a4d6-a5aa7a526d44n@googlegroups.com>
<d6a989b4-8022-4176-82b5-1400da043788n@googlegroups.com> <ea771419-1521-4447-9d62-8bdae7638a48n@googlegroups.com>
<ui4840$12q1s$1@solani.org> <e019d65e-f490-410b-9a4f-500460283d76n@googlegroups.com>
<ui5u1a$13li8$2@solani.org> <237b1d3d-a682-47ea-bbbf-c052a8fc1b23n@googlegroups.com>
<27193671-26a8-40aa-9887-63e003b40374n@googlegroups.com> <a26c4585-8426-413f-b7d4-4ab82f49409an@googlegroups.com>
<02bfb40a-7123-4ece-a1ff-168128a89e43n@googlegroups.com> <66aadb4b-60f1-4224-8ddb-83bb374bfc95n@googlegroups.com>
<0dda8582-cfe0-4df9-abbe-7bf2b5aaab12n@googlegroups.com> <531c5285-00ba-4ce8-b970-7540bebc788dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <be3b77b8-773d-4fa1-94bd-9f9fc6de680cn@googlegroups.com>
Subject: Re: Cut opaqueness in ISO prolog
From: burse...@gmail.com (Mild Shock)
Injection-Date: Wed, 08 Nov 2023 15:50:51 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 20
 by: Mild Shock - Wed, 8 Nov 2023 15:50 UTC

Its not a bug if the Prolog system doesn't claim ISO compatibility.
I have added a couple of new test cases for `(\+)/1` and `once/1`,
The test cases are here in the file "reference | control | logical":

https://www.novacuor.ch/srctab/doclet/docs/13_comply/package.jsp

Mild Shock schrieb am Sonntag, 5. November 2023 um 23:25:17 UTC+1:
> Do you say you need to go to the ISO core standard to understand
> the call/1 and the cut? Aren't there millions of tutorials around?
>
> Come on, Culio. You can do it. Go, Go!
> Julio Di Egidio schrieb am Sonntag, 5. November 2023 um 22:56:30 UTC+1:
> > On Sunday, 5 November 2023 at 21:57:35 UTC+1, Mild Shock wrote:
> >
> > > Just read the ISO core standard moron.
> > > The test cases have an explanation comment.
> > You are a fucking lost cause.
> >
> > *Plonk*
> >
> > Julio

Re: Cut opaqueness in ISO prolog

<83ded09f-be6d-48e1-acd3-4766e72e86c2n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:b21:b0:66d:6179:8e18 with SMTP id w1-20020a0562140b2100b0066d61798e18mr51057qvj.11.1699466817309;
Wed, 08 Nov 2023 10:06:57 -0800 (PST)
X-Received: by 2002:a81:848f:0:b0:5a7:b9b0:d23f with SMTP id
u137-20020a81848f000000b005a7b9b0d23fmr50851ywf.6.1699466816801; Wed, 08 Nov
2023 10:06:56 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!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: Wed, 8 Nov 2023 10:06:56 -0800 (PST)
In-Reply-To: <be3b77b8-773d-4fa1-94bd-9f9fc6de680cn@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: <2016759a-13dd-4558-9bf0-b99571032171@googlegroups.com>
<4a9df624-2d0f-4376-a8fa-5de46b9570e5n@googlegroups.com> <8732c8be-ef95-4c75-b199-f72e991c6e88n@googlegroups.com>
<3934ab16-1fca-4ca8-8423-28bc07bf690cn@googlegroups.com> <406ecd73-aaba-4767-a0ae-b630968e6146n@googlegroups.com>
<9d07b439-b1f7-4ac2-a931-7dea1a1a518dn@googlegroups.com> <62a62a46-d980-4abf-87f9-3b45ca1df921n@googlegroups.com>
<e5a5ffc1-3e89-4cc8-93ec-db12e88d5b0en@googlegroups.com> <347cd0f6-5a9f-4468-a4d6-a5aa7a526d44n@googlegroups.com>
<d6a989b4-8022-4176-82b5-1400da043788n@googlegroups.com> <ea771419-1521-4447-9d62-8bdae7638a48n@googlegroups.com>
<ui4840$12q1s$1@solani.org> <e019d65e-f490-410b-9a4f-500460283d76n@googlegroups.com>
<ui5u1a$13li8$2@solani.org> <237b1d3d-a682-47ea-bbbf-c052a8fc1b23n@googlegroups.com>
<27193671-26a8-40aa-9887-63e003b40374n@googlegroups.com> <a26c4585-8426-413f-b7d4-4ab82f49409an@googlegroups.com>
<02bfb40a-7123-4ece-a1ff-168128a89e43n@googlegroups.com> <66aadb4b-60f1-4224-8ddb-83bb374bfc95n@googlegroups.com>
<0dda8582-cfe0-4df9-abbe-7bf2b5aaab12n@googlegroups.com> <531c5285-00ba-4ce8-b970-7540bebc788dn@googlegroups.com>
<be3b77b8-773d-4fa1-94bd-9f9fc6de680cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <83ded09f-be6d-48e1-acd3-4766e72e86c2n@googlegroups.com>
Subject: Re: Cut opaqueness in ISO prolog
From: burse...@gmail.com (Mild Shock)
Injection-Date: Wed, 08 Nov 2023 18:06:57 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3713
 by: Mild Shock - Wed, 8 Nov 2023 18:06 UTC

Actually the better direct link would be:

File logical
https://www.novacuor.ch/exatab/doclet/en/docs/15_results/reference/01_control/03_logical.html

It shows the test results and not the test cases.
But you can click invidually on a test case, and it
will show you the source code of the test case.

Click on ISO 8.15.1.4, XLOG 1 or ISO 8.15.1.4, XLOG 2.
The linking was broken since I migrated to the new
domain www.novacuor.ch, but it should be fixed now.

Mild Shock schrieb am Mittwoch, 8. November 2023 um 16:50:52 UTC+1:
> Its not a bug if the Prolog system doesn't claim ISO compatibility.
> I have added a couple of new test cases for `(\+)/1` and `once/1`,
> The test cases are here in the file "reference | control | logical":
>
> https://www.novacuor.ch/srctab/doclet/docs/13_comply/package.jsp
> Mild Shock schrieb am Sonntag, 5. November 2023 um 23:25:17 UTC+1:
> > Do you say you need to go to the ISO core standard to understand
> > the call/1 and the cut? Aren't there millions of tutorials around?
> >
> > Come on, Culio. You can do it. Go, Go!
> > Julio Di Egidio schrieb am Sonntag, 5. November 2023 um 22:56:30 UTC+1:
> > > On Sunday, 5 November 2023 at 21:57:35 UTC+1, Mild Shock wrote:
> > >
> > > > Just read the ISO core standard moron.
> > > > The test cases have an explanation comment.
> > > You are a fucking lost cause.
> > >
> > > *Plonk*
> > >
> > > Julio


devel / comp.lang.prolog / Re: Cut opaqueness in ISO prolog

Pages:12
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor