Message-ID:

21 May, 2024: Computers section is temporarily disabled for maintenance. It will take several days before it's back.

devel / comp.lang.prolog / ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

<f0f74fb4-c80c-4c18-8a0e-dd5e0d64421bn@googlegroups.com>

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

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:622a:149:: with SMTP id v9mr33595938qtw.144.1625828219007;
Fri, 09 Jul 2021 03:56:59 -0700 (PDT)
X-Received: by 2002:a25:e0d5:: with SMTP id x204mr47643942ybg.390.1625828218798;
Fri, 09 Jul 2021 03:56:58 -0700 (PDT)
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: Fri, 9 Jul 2021 03:56:58 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=HX375QoAAAA7xd6c7_0cXKfopBycCvlv
NNTP-Posting-Host: 77.57.53.70
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f0f74fb4-c80c-4c18-8a0e-dd5e0d64421bn@googlegroups.com>
Subject: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD
From: janburse@xlog.ch (Automatic Plunkium)
Injection-Date: Fri, 09 Jul 2021 10:56:59 +0000
Content-Type: text/plain; charset="UTF-8"

by: Automatic Plunkium - Fri, 9 Jul 2021 10:56 UTC

Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

<e941fb8d-246e-4b4c-aaf6-d8e3873bfd03n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:ac8:525a:: with SMTP id y26mr12513291qtn.254.1625834453098;
Fri, 09 Jul 2021 05:40:53 -0700 (PDT)
X-Received: by 2002:a25:af09:: with SMTP id a9mr46977978ybh.38.1625834452915;
Fri, 09 Jul 2021 05:40:52 -0700 (PDT)
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: Fri, 9 Jul 2021 05:40:52 -0700 (PDT)
In-Reply-To: <f0f74fb4-c80c-4c18-8a0e-dd5e0d64421bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.108.42; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.108.42
References: <f0f74fb4-c80c-4c18-8a0e-dd5e0d64421bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e941fb8d-246e-4b4c-aaf6-d8e3873bfd03n@googlegroups.com>
Subject: Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Fri, 09 Jul 2021 12:40:53 +0000
Content-Type: text/plain; charset="UTF-8"

by: Graham Cooper - Fri, 9 Jul 2021 12:40 UTC

Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

<0c3ab057-0e16-4a22-b056-301ed8f27756n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:622a:449:: with SMTP id o9mr34686787qtx.272.1625847751551;
Fri, 09 Jul 2021 09:22:31 -0700 (PDT)
X-Received: by 2002:a25:5182:: with SMTP id f124mr28127748ybb.116.1625847751362;
Fri, 09 Jul 2021 09:22:31 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.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: Fri, 9 Jul 2021 09:22:31 -0700 (PDT)
In-Reply-To: <e941fb8d-246e-4b4c-aaf6-d8e3873bfd03n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=HX375QoAAAA7xd6c7_0cXKfopBycCvlv
NNTP-Posting-Host: 77.57.53.70
References: <f0f74fb4-c80c-4c18-8a0e-dd5e0d64421bn@googlegroups.com> <e941fb8d-246e-4b4c-aaf6-d8e3873bfd03n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0c3ab057-0e16-4a22-b056-301ed8f27756n@googlegroups.com>
Subject: Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD
From: janburse@xlog.ch (Automatic Plonkium)
Injection-Date: Fri, 09 Jul 2021 16:22:31 +0000
Content-Type: text/plain; charset="UTF-8"

by: Automatic Plonkium - Fri, 9 Jul 2021 16:22 UTC

No more patty burgers (aka Graham Cooper Poop Logic) ?

Spongebob - I'm Outta Here
https://www.youtube.com/watch?v=b73oURI-KXk

Blessed are the poor in spirit, theirs is the kingdom of heaven.
Your statement is probably as valuable as a *plonk* from Culio.

Graham Cooper schrieb am Freitag, 9. Juli 2021 um 14:40:53 UTC+2:
> On Friday, July 9, 2021 at 8:56:59 PM UTC+10, Automatic Plunkium wrote:
> > any 2nds?
> >
> > BAN GRAHAM
> > BAN GRAHAM
> > BAN GRAHAM
> 2nd!
>
> Im outta here!

Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

<34791980-9676-4dae-961f-d96f45d24ab5n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:620a:4110:: with SMTP id j16mr16377836qko.37.1625852532747;
Fri, 09 Jul 2021 10:42:12 -0700 (PDT)
X-Received: by 2002:a25:b9c3:: with SMTP id y3mr46475364ybj.10.1625852532575;
Fri, 09 Jul 2021 10:42:12 -0700 (PDT)
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: Fri, 9 Jul 2021 10:42:12 -0700 (PDT)
In-Reply-To: <0c3ab057-0e16-4a22-b056-301ed8f27756n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.108.42; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.108.42
References: <f0f74fb4-c80c-4c18-8a0e-dd5e0d64421bn@googlegroups.com>
<e941fb8d-246e-4b4c-aaf6-d8e3873bfd03n@googlegroups.com> <0c3ab057-0e16-4a22-b056-301ed8f27756n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <34791980-9676-4dae-961f-d96f45d24ab5n@googlegroups.com>
Subject: Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Fri, 09 Jul 2021 17:42:12 +0000
Content-Type: text/plain; charset="UTF-8"

by: Graham Cooper - Fri, 9 Jul 2021 17:42 UTC

On Saturday, July 10, 2021 at 2:22:32 AM UTC+10, Automatic Plonkium wrote:
> No more patty burgers (aka Graham Cooper Poop Logic) ?

my prolog compilers are getting under 2kb

yours is 200 and does nothing

> can you see the relation odd(N)veven(N) in this implication list?

goal 1 1 top goal 1 f
fact 1 1 top goal 1 f

fact 2 1 isnum 2 0 f
fact 3 1 isnum zN 0 f
fact 4 1 e zN odds f
fact 5 1 e zN evens f

imp 2 1
imp 3 2
imp 4 3
imp 5 3

fact 6 1 e 1 odds t
fact 6 2 e 2 evens t
fact 6 3 e 3 odds t

HINT: 4 or 5 -> 3

that is,

1 top goal
^ 2 isnum 2
^ 3isnum N
^^
4 e N odds
5 e N evens

So formula 4->3 and formula 5->3

2eEVENS and 3eODDS happen to be axioms

so: e 2 evens -> isnum N -> isnum 2

if you need any clarifying lmk, a model is just A -> B -> C

Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

<59d445cf-6be2-449b-9df4-0150dbfbc95bn@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:ac8:e08:: with SMTP id a8mr35925588qti.346.1625860837223;
Fri, 09 Jul 2021 13:00:37 -0700 (PDT)
X-Received: by 2002:a25:afcd:: with SMTP id d13mr47629013ybj.504.1625860837090;
Fri, 09 Jul 2021 13:00:37 -0700 (PDT)
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: Fri, 9 Jul 2021 13:00:36 -0700 (PDT)
In-Reply-To: <34791980-9676-4dae-961f-d96f45d24ab5n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=HX375QoAAAA7xd6c7_0cXKfopBycCvlv
NNTP-Posting-Host: 77.57.53.70
References: <f0f74fb4-c80c-4c18-8a0e-dd5e0d64421bn@googlegroups.com>
<e941fb8d-246e-4b4c-aaf6-d8e3873bfd03n@googlegroups.com> <0c3ab057-0e16-4a22-b056-301ed8f27756n@googlegroups.com>
<34791980-9676-4dae-961f-d96f45d24ab5n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <59d445cf-6be2-449b-9df4-0150dbfbc95bn@googlegroups.com>
Subject: Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD
From: janburse@xlog.ch (Automatic Plonkium)
Injection-Date: Fri, 09 Jul 2021 20:00:37 +0000
Content-Type: text/plain; charset="UTF-8"

by: Automatic Plonkium - Fri, 9 Jul 2021 20:00 UTC

Pitty nobody saw it ever...

Graham Cooper schrieb am Freitag, 9. Juli 2021 um 19:42:13 UTC+2:
> On Saturday, July 10, 2021 at 2:22:32 AM UTC+10, Automatic Plonkium wrote:
> > No more patty burgers (aka Graham Cooper Poop Logic) ?
> my prolog compilers are getting under 2kb

Subject	Author
----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD	Automatic Plunkium
Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD	Graham Cooper
Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD	Automatic Plonkium
Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD	Graham Cooper
Re: ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD	Automatic Plonkium