Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

I'm not sure whether that's actually useful... -- Larry Wall in <199710011704.KAA21395@wall.org>


devel / comp.lang.prolog / Re: Graham Coopers Poop Prolog

SubjectAuthor
* ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDGraham Cooper
+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDMostowski Collapse
|`* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDGraham Cooper
| +* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDGraham Cooper
| |`- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDGraham Cooper
| `* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDMostowski Collapse
|  `* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDGraham Cooper
|   +* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDMostowski Collapse
|   |`* Graham Coopers Poop PrologMostowski Collapse
|   | `* Re: Graham Coopers Poop PrologGraham Cooper
|   |  `* Re: Graham Coopers Poop PrologMostowski Collapse
|   |   `* Re: Graham Coopers Poop PrologGraham Cooper
|   |    `* Re: Graham Coopers Poop PrologMostowski Collapse
|   |     +- Re: Graham Coopers Poop PrologGraham Cooper
|   |     `* Re: Graham Coopers Poop PrologMostowski Collapse
|   |      +- Re: Graham Coopers Poop PrologGraham Cooper
|   |      `* Re: Graham Coopers Poop PrologMostowski Collapse
|   |       +- Re: Graham Coopers Poop PrologGraham Cooper
|   |       `* Re: Graham Coopers Poop PrologMostowski Collapse
|   |        `* Re: Graham Coopers Poop PrologMostowski Collapse
|   |         `- Re: Graham Coopers Poop PrologGraham Cooper
|   `* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
|    +* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDminf...@arcor.de
|    |`- Archimedes Plutonium when he was young with his ParentsMostowski Collapse
|    `- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
|+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
||`- Re: Archimedes "irrelevant" Plutonium flunked the math test of aMichael Moroney
|+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
||`* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDMostowski Collapse
|| `- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
|`* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDJulio Di Egidio
| +* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDMostowski Collapse
| |+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDMostowski Collapse
| ||`* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDMostowski Collapse
| || `- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
| |`- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
| `* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
|  `- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+* Archimedes Plutonium when he was young with his ParentsMostowski Collapse
|`- Re: Archimedes Plutonium when he was young with his ParentsMostowski Collapse
+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
|`- Archimedes Plutonium when he was young with his ParentsMostowski Collapse
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
|`- Archimedes Plutonium when he was young with his ParentsMostowski Collapse
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
|`- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
|`* --- ARCHIMEDES PLUTONIUM BARRED FROM comp.lang.prolog ---Mostowski Collapse
| `- Re: --- ARCHIMEDES PLUTONIUM BARRED FROM comp.lang.prolog ---Mostowski Collapse
+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
|`- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
|`- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
+- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
`* Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium
 `- Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFDArchimedes Plutonium

Pages:123
----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:5f0d:: with SMTP id x13mr24653616qta.69.1624289731241;
Mon, 21 Jun 2021 08:35:31 -0700 (PDT)
X-Received: by 2002:a25:2506:: with SMTP id l6mr16426700ybl.418.1624289731088;
Mon, 21 Jun 2021 08:35:31 -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: Mon, 21 Jun 2021 08:35:30 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
Subject: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 15:35:31 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Graham Cooper - Mon, 21 Jun 2021 15:35 UTC

any 2nds?

BAN JAN
BAN JAN
BAN JAN

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:5f0d:: with SMTP id x13mr24818351qta.69.1624291936762;
Mon, 21 Jun 2021 09:12:16 -0700 (PDT)
X-Received: by 2002:a25:d8c8:: with SMTP id p191mr4738687ybg.247.1624291936616;
Mon, 21 Jun 2021 09:12:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.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: Mon, 21 Jun 2021 09:12:16 -0700 (PDT)
In-Reply-To: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com>
Subject: Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 21 Jun 2021 16:12:16 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 15
 by: Mostowski Collapse - Mon, 21 Jun 2021 16:12 UTC

Graham Cooper haluzinated:
"the SET itself isnt computable by standard definition"

Read the wiki:
- The entire set of natural numbers is computable.
https://en.wikipedia.org/wiki/Computable_set

Nobody uses WM nitpicking language in real world,
when its anyway clear what is meant.

Graham Cooper schrieb am Montag, 21. Juni 2021 um 17:35:31 UTC+2:
> any 2nds?
>
> BAN JAN
> BAN JAN
> BAN JAN

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a37:9244:: with SMTP id u65mr24085731qkd.46.1624292230610;
Mon, 21 Jun 2021 09:17:10 -0700 (PDT)
X-Received: by 2002:a05:6902:1245:: with SMTP id t5mr11151873ybu.448.1624292230376;
Mon, 21 Jun 2021 09:17:10 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.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: Mon, 21 Jun 2021 09:17:10 -0700 (PDT)
In-Reply-To: <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com> <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
Subject: Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 16:17:10 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1806
 by: Graham Cooper - Mon, 21 Jun 2021 16:17 UTC

On Tuesday, June 22, 2021 at 2:12:17 AM UTC+10, burs...@gmail.com wrote:
> Graham Cooper haluzinated:
> "the SET itself isnt computable by standard definition"
>
> Read the wiki:
> - The entire set of natural numbers is computable.
> https://en.wikipedia.org/wiki/Computable_set
>
> Nobody uses WM nitpicking language in real world,
> when its anyway clear what is meant.

see Jans fierce temperament and off topic (off NEWSGROUP) post

c.l.PROLOG used to be full of enthusiastic coders and Jan has deterred a usable group atmosphere

BYE JAN... try misc.writing

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<8c4672f7-807a-4f16-b09e-746d3ff4c588n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a37:781:: with SMTP id 123mr22243678qkh.296.1624293368130;
Mon, 21 Jun 2021 09:36:08 -0700 (PDT)
X-Received: by 2002:a25:43:: with SMTP id 64mr33871862yba.109.1624293367944;
Mon, 21 Jun 2021 09:36:07 -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: Mon, 21 Jun 2021 09:36:07 -0700 (PDT)
In-Reply-To: <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8c4672f7-807a-4f16-b09e-746d3ff4c588n@googlegroups.com>
Subject: Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 16:36:08 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Graham Cooper - Mon, 21 Jun 2021 16:36 UTC

On Tuesday, June 22, 2021 at 2:17:11 AM UTC+10, Graham Cooper wrote:
> On Tuesday, June 22, 2021 at 2:12:17 AM UTC+10, burs...@gmail.com wrote:
> > Graham Cooper haluzinated:
> > "the SET itself isnt computable by standard definition"
> >
> > Read the wiki:
> > - The entire set of natural numbers is computable.
> > https://en.wikipedia.org/wiki/Computable_set

computable set is a misnomer

you have a defn of computable
you have a defn of set

these are 20TH C constructs you cant invent new terminology which contradicts NT <-/-> N^T

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<01474551-a086-410e-a0ee-18d42d4cb765n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ae9:e84f:: with SMTP id a76mr24345794qkg.366.1624293851848;
Mon, 21 Jun 2021 09:44:11 -0700 (PDT)
X-Received: by 2002:a25:4fc4:: with SMTP id d187mr32409869ybb.245.1624293851641;
Mon, 21 Jun 2021 09:44:11 -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: Mon, 21 Jun 2021 09:44:11 -0700 (PDT)
In-Reply-To: <8c4672f7-807a-4f16-b09e-746d3ff4c588n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<8c4672f7-807a-4f16-b09e-746d3ff4c588n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <01474551-a086-410e-a0ee-18d42d4cb765n@googlegroups.com>
Subject: Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 16:44:11 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Graham Cooper - Mon, 21 Jun 2021 16:44 UTC

REQUEST FOR DISCUSSION - BAN JAN BURSE

WADDA Ya SAY JAN? time to take a break... you can answer c.l.p questions 2026

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:7446:: with SMTP id h6mr24692882qtr.272.1624294480289;
Mon, 21 Jun 2021 09:54:40 -0700 (PDT)
X-Received: by 2002:a25:d8c8:: with SMTP id p191mr4972115ybg.247.1624294480110;
Mon, 21 Jun 2021 09:54:40 -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: Mon, 21 Jun 2021 09:54:39 -0700 (PDT)
In-Reply-To: <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com>
Subject: Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 21 Jun 2021 16:54:40 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Mon, 21 Jun 2021 16:54 UTC

Try yourself:
misc.prolog.compound.parenthesis.missing

LMAO!

Graham Cooper schrieb am Montag, 21. Juni 2021 um 18:17:11 UTC+2:
> BYE JAN... try misc.writing

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:2a8a:: with SMTP id jr10mr21296124qvb.50.1624294820723;
Mon, 21 Jun 2021 10:00:20 -0700 (PDT)
X-Received: by 2002:a25:424c:: with SMTP id p73mr34579382yba.28.1624294820553;
Mon, 21 Jun 2021 10:00:20 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.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: Mon, 21 Jun 2021 10:00:20 -0700 (PDT)
In-Reply-To: <c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
Subject: Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 17:00:20 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 19
 by: Graham Cooper - Mon, 21 Jun 2021 17:00 UTC

On Tuesday, June 22, 2021 at 2:54:40 AM UTC+10, burs...@gmail.com wrote:
> Try yourself:
> misc.prolog.compound.parenthesis.missing
>
> LMAO!

Jan you work too hard. nobody wants theorem provers on prolog

ASIMO tech is going to LISP which will just have a UNIFY routine

but people can LEARN PROLOG if you EFF OFF!

VOTE NOW! BAN JAN

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:b26:: with SMTP id w6mr20859165qvj.61.1624295234379; Mon, 21 Jun 2021 10:07:14 -0700 (PDT)
X-Received: by 2002:a25:2506:: with SMTP id l6mr16948380ybl.418.1624295234237; Mon, 21 Jun 2021 10:07:14 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.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: Mon, 21 Jun 2021 10:07:14 -0700 (PDT)
In-Reply-To: <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com> <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com> <c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com>
Subject: Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 21 Jun 2021 17:07:14 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 7
 by: Mostowski Collapse - Mon, 21 Jun 2021 17:07 UTC

What if I want to put two goals on one line, and
is the minus sign, like here:

foo(X,Y) :- X < 0, -X =:= Y.

How do this in Grahams Pooprolog?

LoL ROFL!

Graham Coopers Poop Prolog

<saqh7l$6u9$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeder5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janburse@fastmail.fm (Mostowski Collapse)
Newsgroups: comp.lang.prolog
Subject: Graham Coopers Poop Prolog
Date: Mon, 21 Jun 2021 19:11:16 +0200
Message-ID: <saqh7l$6u9$1@solani.org>
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com>
<31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com>
<46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
<68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 21 Jun 2021 17:11:17 -0000 (UTC)
Injection-Info: solani.org;
logging-data="7113"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.16; rv:60.0)
Gecko/20100101 Firefox/60.0 SeaMonkey/2.53.8
Cancel-Lock: sha1:pbuF8kvMlkANut0x/EMLW9r3UG8=
In-Reply-To: <68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com>
X-User-ID: eJwFwQkBwDAIA0BLsEAocnha/xJ256Bywug0f/46l5pzSgK4ZwUfklWF8nBKPoV+VmI5XbaY3qZHGQL33h9AChVU
 by: Mostowski Collapse - Mon, 21 Jun 2021 17:11 UTC

Incoming ROFLCOPTER!

ROFL:ROFL:ROFL:ROFL
___^___ _
L __/ [] \
LOL===__ \
L \___ ___ ___]
I I
----------/

Mostowski Collapse schrieb:
> What if I want to put two goals on one line, and
> is the minus sign, like here:
>
> foo(X,Y) :- X < 0, -X =:= Y.
>
> How do this in Grahams Pooprolog?
>
> LoL ROFL!
>

Re: Graham Coopers Poop Prolog

<8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:147:: with SMTP id v7mr7867040qtw.246.1624296705078;
Mon, 21 Jun 2021 10:31:45 -0700 (PDT)
X-Received: by 2002:a25:4fc4:: with SMTP id d187mr32676876ybb.245.1624296704915;
Mon, 21 Jun 2021 10:31:44 -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: Mon, 21 Jun 2021 10:31:44 -0700 (PDT)
In-Reply-To: <saqh7l$6u9$1@solani.org>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
<68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 17:31:45 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Graham Cooper - Mon, 21 Jun 2021 17:31 UTC

On Tuesday, June 22, 2021 at 3:11:19 AM UTC+10, burs...@gmail.com wrote:
> Incoming ROFLCOPTER!
>
> ROFL:ROFL:ROFL:ROFL
> ___^___ _
> L __/ [] \
> LOL===__ \
> L \___ ___ ___]
> I I
> ----------/

mini prolog can do anything PROLOG can do

your example is tedious

LET me find miniprolog for you, and remember nobody reads your prolog diaries

Re: Graham Coopers Poop Prolog

<7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:2a8a:: with SMTP id jr10mr21513127qvb.50.1624297634249; Mon, 21 Jun 2021 10:47:14 -0700 (PDT)
X-Received: by 2002:a25:ea0f:: with SMTP id p15mr555648ybd.475.1624297633967; Mon, 21 Jun 2021 10:47:13 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!news.dns-netz.com!news.freedyn.net!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr2.iad1.usenetexpress.com!border1.nntp.dca1.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: Mon, 21 Jun 2021 10:47:13 -0700 (PDT)
In-Reply-To: <8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com> <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com> <c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com> <68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org> <8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 21 Jun 2021 17:47:14 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 23
 by: Mostowski Collapse - Mon, 21 Jun 2021 17:47 UTC

Can you do (G1 -> G2; G3) in mini prolog? Its the Prolog
if-then-else. I never saw this in Graham Coopers Poop

Prolog aka mini prolog. Maybe its too much mini,
a maxi prolog would be maybe better.

But if-then-else is ISO core standard.

Graham Cooper schrieb am Montag, 21. Juni 2021 um 19:31:45 UTC+2:
> On Tuesday, June 22, 2021 at 3:11:19 AM UTC+10, burs...@gmail.com wrote:
> > Incoming ROFLCOPTER!
> >
> > ROFL:ROFL:ROFL:ROFL
> > ___^___ _
> > L __/ [] \
> > LOL===__ \
> > L \___ ___ ___]
> > I I
> > ----------/
> mini prolog can do anything PROLOG can do
>
> your example is tedious
>
> LET me find miniprolog for you, and remember nobody reads your prolog diaries

Re: Graham Coopers Poop Prolog

<e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ae9:e407:: with SMTP id q7mr24673796qkc.410.1624298513878; Mon, 21 Jun 2021 11:01:53 -0700 (PDT)
X-Received: by 2002:a05:6902:1245:: with SMTP id t5mr11762091ybu.448.1624298513723; Mon, 21 Jun 2021 11:01:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!news.dns-netz.com!news.freedyn.net!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr2.iad1.usenetexpress.com!border1.nntp.dca1.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: Mon, 21 Jun 2021 11:01:53 -0700 (PDT)
In-Reply-To: <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com> <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com> <c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com> <68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org> <8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com> <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 18:01:53 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 11
 by: Graham Cooper - Mon, 21 Jun 2021 18:01 UTC

On Tuesday, June 22, 2021 at 3:47:14 AM UTC+10, burs...@gmail.com wrote:
> Can you do (G1 -> G2; G3) in mini prolog? Its the Prolog
> if-then-else. I never saw this in Graham Coopers Poop
>
> Prolog aka mini prolog. Maybe its too much mini,
> a maxi prolog would be maybe better.
>
> But if-then-else is ISO core standard.

maybe you should write a LISP interpreter

have a [DOWNLOAD] button with all attachments

Re: Graham Coopers Poop Prolog

<ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a37:781:: with SMTP id 123mr22660027qkh.296.1624299013613;
Mon, 21 Jun 2021 11:10:13 -0700 (PDT)
X-Received: by 2002:a25:ca45:: with SMTP id a66mr33017067ybg.10.1624299013430;
Mon, 21 Jun 2021 11:10:13 -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: Mon, 21 Jun 2021 11:10:13 -0700 (PDT)
In-Reply-To: <e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
<68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org>
<8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com> <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com>
<e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 21 Jun 2021 18:10:13 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Mon, 21 Jun 2021 18:10 UTC

There are lisp interpreters, written in Prolog by myself:

Pure Prolog Scheme Quine
https://stackoverflow.com/q/65446636/502187

Scheme is derived from LISP:

Scheme is a minimalist dialect of the Lisp family of programming languages.
https://en.wikipedia.org/wiki/Scheme_%28programming_language%29

Have Fun!

Graham Cooper schrieb am Montag, 21. Juni 2021 um 20:01:54 UTC+2:
> On Tuesday, June 22, 2021 at 3:47:14 AM UTC+10, burs...@gmail.com wrote:
> > Can you do (G1 -> G2; G3) in mini prolog? Its the Prolog
> > if-then-else. I never saw this in Graham Coopers Poop
> >
> > Prolog aka mini prolog. Maybe its too much mini,
> > a maxi prolog would be maybe better.
> >
> > But if-then-else is ISO core standard.
> maybe you should write a LISP interpreter
>
> have a [DOWNLOAD] button with all attachments

Re: Graham Coopers Poop Prolog

<fbf8094c-599e-4137-99c9-024150f1851en@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ad4:5909:: with SMTP id ez9mr3052647qvb.58.1624300014075;
Mon, 21 Jun 2021 11:26:54 -0700 (PDT)
X-Received: by 2002:a25:2506:: with SMTP id l6mr17392947ybl.418.1624300013842;
Mon, 21 Jun 2021 11:26:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!news.dns-netz.com!news.freedyn.net!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!news.uzoreto.com!feeder1.cambriumusenet.nl!feed.tweak.nl!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: Mon, 21 Jun 2021 11:26:53 -0700 (PDT)
In-Reply-To: <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
<68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org>
<8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com> <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com>
<e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com> <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <fbf8094c-599e-4137-99c9-024150f1851en@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 18:26:54 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Graham Cooper - Mon, 21 Jun 2021 18:26 UTC

On Tuesday, June 22, 2021 at 4:10:14 AM UTC+10, burs...@gmail.com wrote:
> There are lisp interpreters, written in Prolog by myself:
>
> Pure Prolog Scheme Quine
> https://stackoverflow.com/q/65446636/502187
>
> Scheme is derived from LISP:
>
> Scheme is a minimalist dialect of the Lisp family of programming languages.
> https://en.wikipedia.org/wiki/Scheme_%28programming_language%29
>
> Have Fun!

All I saw was a load of syntax nonsense

?- Q = [[lambda, symbol(_Q), [cons, symbol(_Q), [cons, [cons,
[quote, quote], [cons, symbol(_Q), [quote, []]]], [quote,
[]]]]], [quote, [lambda, symbol(_Q), [cons, symbol(_Q), [cons,
[cons, [quote, quote], [cons, symbol(_Q), [quote, []]]],
[quote, []]]]]]], eval(Q, [], P, [5], _).
Q = [[lambda, symbol(_Q), [cons, symbol(_Q), [cons, [cons,
[quote, quote], [cons, symbol(_Q), [quote, []]]], [quote,
[]]]]], [quote, [lambda, symbol(_Q), [cons, symbol(_Q), [cons,
[cons, [quote, quote], [cons, symbol(_Q), [quote, []]]],
[quote, []]]]]]],
P = [[lambda, symbol(_Q), [cons, symbol(_Q), [cons, [cons,
[quote, quote], [cons, symbol(_Q), [quote, []]]], [quote,
[]]]]], [quote, [lambda, symbol(_Q), [cons, symbol(_Q), [cons,
[cons, [quote, quote], [cons, symbol(_Q), [quote, []]]],
[quote, []]]]]]]

Re: Graham Coopers Poop Prolog

<b02a13c5-5872-4fa5-8934-b20f1c969546n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a37:693:: with SMTP id 141mr23459164qkg.453.1624300209908; Mon, 21 Jun 2021 11:30:09 -0700 (PDT)
X-Received: by 2002:a25:afcd:: with SMTP id d13mr33676614ybj.504.1624300209709; Mon, 21 Jun 2021 11:30:09 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.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: Mon, 21 Jun 2021 11:30:09 -0700 (PDT)
In-Reply-To: <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com> <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com> <c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com> <68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org> <8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com> <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com> <e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com> <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b02a13c5-5872-4fa5-8934-b20f1c969546n@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 21 Jun 2021 18:30:09 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 39
 by: Mostowski Collapse - Mon, 21 Jun 2021 18:30 UTC

But I already see the confused face of some miniKanren
disciple, because their system takes 10 minutes to find
the same quine, whereas the latest measurement was

/* SWI-Prolog 8.3.17 */
?- time((dif(Q, []), quine(Q, 6, N))).
% 48,502,916 inferences, 2.859 CPU in 2.859 seconds (100% CPU, 16962768 Lips)

/* Jekejeke Prolog 1.4.7 */
?- time((dif(Q, []), quine(Q, 6, N))).
% Up 13,367 ms, GC 99 ms, Threads 13,235 ms (Current 01/10/21 01:35:24)

But maybe should redo the measurement. I did not
yet try it with Dogelog. For Dogelog its a little bit too early,
its still a puppy. Need to add some more stuff.

Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:10:14 UTC+2:
> There are lisp interpreters, written in Prolog by myself:
>
> Pure Prolog Scheme Quine
> https://stackoverflow.com/q/65446636/502187
>
> Scheme is derived from LISP:
>
> Scheme is a minimalist dialect of the Lisp family of programming languages.
> https://en.wikipedia.org/wiki/Scheme_%28programming_language%29
>
> Have Fun!
> Graham Cooper schrieb am Montag, 21. Juni 2021 um 20:01:54 UTC+2:
> > On Tuesday, June 22, 2021 at 3:47:14 AM UTC+10, burs...@gmail.com wrote:
> > > Can you do (G1 -> G2; G3) in mini prolog? Its the Prolog
> > > if-then-else. I never saw this in Graham Coopers Poop
> > >
> > > Prolog aka mini prolog. Maybe its too much mini,
> > > a maxi prolog would be maybe better.
> > >
> > > But if-then-else is ISO core standard.
> > maybe you should write a LISP interpreter
> >
> > have a [DOWNLOAD] button with all attachments

Re: Graham Coopers Poop Prolog

<e142628b-5d5b-427b-984b-66242395c756n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:550d:: with SMTP id j13mr25170376qtq.131.1624300503849;
Mon, 21 Jun 2021 11:35:03 -0700 (PDT)
X-Received: by 2002:a25:4fc4:: with SMTP id d187mr33020202ybb.245.1624300503699;
Mon, 21 Jun 2021 11:35:03 -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: Mon, 21 Jun 2021 11:35:03 -0700 (PDT)
In-Reply-To: <b02a13c5-5872-4fa5-8934-b20f1c969546n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
<68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org>
<8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com> <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com>
<e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com> <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com>
<b02a13c5-5872-4fa5-8934-b20f1c969546n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e142628b-5d5b-427b-984b-66242395c756n@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 18:35:03 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Graham Cooper - Mon, 21 Jun 2021 18:35 UTC

On Tuesday, June 22, 2021 at 4:30:10 AM UTC+10, burs...@gmail.com wrote:
> But I already see the confused face of some miniKanren
> disciple, because their system takes 10 minutes to find
> the same quine, whereas the latest measurement was
>
> /* SWI-Prolog 8.3.17 */
> ?- time((dif(Q, []), quine(Q, 6, N))).
> % 48,502,916 inferences, 2.859 CPU in 2.859 seconds (100% CPU, 16962768 Lips)
>
> /* Jekejeke Prolog 1.4.7 */
> ?- time((dif(Q, []), quine(Q, 6, N))).
> % Up 13,367 ms, GC 99 ms, Threads 13,235 ms (Current 01/10/21 01:35:24)
>
> But maybe should redo the measurement. I did not
> yet try it with Dogelog. For Dogelog its a little bit too early,
> its still a puppy. Need to add some more stuff.

NO MORE *STUFF* JAN

nobody wants a LISP interpreter in PROLOG

lamba programming was a 10 year detour on your brain

Re: Graham Coopers Poop Prolog

<98e89e4b-84bf-42b8-8872-1b2192d34110n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:488e:: with SMTP id i14mr4713627qtq.102.1624300800671;
Mon, 21 Jun 2021 11:40:00 -0700 (PDT)
X-Received: by 2002:a25:4d4:: with SMTP id 203mr32345842ybe.367.1624300800500;
Mon, 21 Jun 2021 11:40:00 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!feeder1.cambriumusenet.nl!feed.tweak.nl!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: Mon, 21 Jun 2021 11:40:00 -0700 (PDT)
In-Reply-To: <b02a13c5-5872-4fa5-8934-b20f1c969546n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
<68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org>
<8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com> <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com>
<e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com> <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com>
<b02a13c5-5872-4fa5-8934-b20f1c969546n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <98e89e4b-84bf-42b8-8872-1b2192d34110n@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 21 Jun 2021 18:40:00 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Mon, 21 Jun 2021 18:40 UTC

Here is the paper. You could try it in Graham
Coopers Poop Prolog aka mini Prolog:

William E. Byrd, Eric Holk, Daniel P. Friedman, 2012
miniKanren, Live and Untagged
Quine Generation via Relational Interpreters
http://webyrd.net/quines/quines.pdf

Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:30:10 UTC+2:
> But I already see the confused face of some miniKanren
> disciple, because their system takes 10 minutes to find
> the same quine, whereas the latest measurement was
>
> /* SWI-Prolog 8.3.17 */
> ?- time((dif(Q, []), quine(Q, 6, N))).
> % 48,502,916 inferences, 2.859 CPU in 2.859 seconds (100% CPU, 16962768 Lips)
>
> /* Jekejeke Prolog 1.4.7 */
> ?- time((dif(Q, []), quine(Q, 6, N))).
> % Up 13,367 ms, GC 99 ms, Threads 13,235 ms (Current 01/10/21 01:35:24)
>
> But maybe should redo the measurement. I did not
> yet try it with Dogelog. For Dogelog its a little bit too early,
> its still a puppy. Need to add some more stuff.
> Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:10:14 UTC+2:
> > There are lisp interpreters, written in Prolog by myself:
> >
> > Pure Prolog Scheme Quine
> > https://stackoverflow.com/q/65446636/502187
> >
> > Scheme is derived from LISP:
> >
> > Scheme is a minimalist dialect of the Lisp family of programming languages.
> > https://en.wikipedia.org/wiki/Scheme_%28programming_language%29
> >
> > Have Fun!
> > Graham Cooper schrieb am Montag, 21. Juni 2021 um 20:01:54 UTC+2:
> > > On Tuesday, June 22, 2021 at 3:47:14 AM UTC+10, burs...@gmail.com wrote:
> > > > Can you do (G1 -> G2; G3) in mini prolog? Its the Prolog
> > > > if-then-else. I never saw this in Graham Coopers Poop
> > > >
> > > > Prolog aka mini prolog. Maybe its too much mini,
> > > > a maxi prolog would be maybe better.
> > > >
> > > > But if-then-else is ISO core standard.
> > > maybe you should write a LISP interpreter
> > >
> > > have a [DOWNLOAD] button with all attachments

Re: Graham Coopers Poop Prolog

<6f3e5bf9-2597-481b-93a6-98c1a807065dn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:12d6:: with SMTP id e22mr2715894qkl.481.1624300961868; Mon, 21 Jun 2021 11:42:41 -0700 (PDT)
X-Received: by 2002:a25:ea0f:: with SMTP id p15mr864749ybd.475.1624300961739; Mon, 21 Jun 2021 11:42:41 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!feeder5.feed.usenet.farm!feeder1.feed.usenet.farm!feed.usenet.farm!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!border1.nntp.dca1.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: Mon, 21 Jun 2021 11:42:41 -0700 (PDT)
In-Reply-To: <98e89e4b-84bf-42b8-8872-1b2192d34110n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com> <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com> <c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com> <68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org> <8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com> <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com> <e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com> <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com> <b02a13c5-5872-4fa5-8934-b20f1c969546n@googlegroups.com> <98e89e4b-84bf-42b8-8872-1b2192d34110n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6f3e5bf9-2597-481b-93a6-98c1a807065dn@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 18:42:41 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 54
 by: Graham Cooper - Mon, 21 Jun 2021 18:42 UTC

On Tuesday, June 22, 2021 at 4:40:01 AM UTC+10, burs...@gmail.com wrote:
> Here is the paper. You could try it in Graham
> Coopers Poop Prolog aka mini Prolog:
>
> William E. Byrd, Eric Holk, Daniel P. Friedman, 2012
> miniKanren, Live and Untagged
> Quine Generation via Relational Interpreters
> http://webyrd.net/quines/quines.pdf
> Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:30:10 UTC+2:
> > But I already see the confused face of some miniKanren
> > disciple, because their system takes 10 minutes to find
> > the same quine, whereas the latest measurement was
> >
> > /* SWI-Prolog 8.3.17 */
> > ?- time((dif(Q, []), quine(Q, 6, N))).
> > % 48,502,916 inferences, 2.859 CPU in 2.859 seconds (100% CPU, 16962768 Lips)
> >
> > /* Jekejeke Prolog 1.4.7 */
> > ?- time((dif(Q, []), quine(Q, 6, N))).
> > % Up 13,367 ms, GC 99 ms, Threads 13,235 ms (Current 01/10/21 01:35:24)
> >
> > But maybe should redo the measurement. I did not
> > yet try it with Dogelog. For Dogelog its a little bit too early,
> > its still a puppy. Need to add some more stuff.
> > Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:10:14 UTC+2:
> > > There are lisp interpreters, written in Prolog by myself:
> > >
> > > Pure Prolog Scheme Quine
> > > https://stackoverflow.com/q/65446636/502187
> > >
> > > Scheme is derived from LISP:
> > >
> > > Scheme is a minimalist dialect of the Lisp family of programming languages.
> > > https://en.wikipedia.org/wiki/Scheme_%28programming_language%29
> > >
> > > Have Fun!
> > > Graham Cooper schrieb am Montag, 21. Juni 2021 um 20:01:54 UTC+2:
> > > > On Tuesday, June 22, 2021 at 3:47:14 AM UTC+10, burs...@gmail.com wrote:
> > > > > Can you do (G1 -> G2; G3) in mini prolog? Its the Prolog
> > > > > if-then-else. I never saw this in Graham Coopers Poop
> > > > >
> > > > > Prolog aka mini prolog. Maybe its too much mini,
> > > > > a maxi prolog would be maybe better.
> > > > >
> > > > > But if-then-else is ISO core standard.
> > > > maybe you should write a LISP interpreter
> > > >
> > > > have a [DOWNLOAD] button with all attachments

the interpreter or the arithmetic solver ?

Re: Graham Coopers Poop Prolog

<c9e6a81e-a6bb-4874-b9da-92fc18d140cbn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a37:a053:: with SMTP id j80mr57024qke.212.1624301121200; Mon, 21 Jun 2021 11:45:21 -0700 (PDT)
X-Received: by 2002:a25:98c3:: with SMTP id m3mr35156040ybo.116.1624301121015; Mon, 21 Jun 2021 11:45:21 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!news.dns-netz.com!news.freedyn.net!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!border1.nntp.dca1.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: Mon, 21 Jun 2021 11:45:20 -0700 (PDT)
In-Reply-To: <98e89e4b-84bf-42b8-8872-1b2192d34110n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com> <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com> <c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com> <68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org> <8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com> <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com> <e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com> <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com> <b02a13c5-5872-4fa5-8934-b20f1c969546n@googlegroups.com> <98e89e4b-84bf-42b8-8872-1b2192d34110n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c9e6a81e-a6bb-4874-b9da-92fc18d140cbn@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 21 Jun 2021 18:45:21 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 58
 by: Mostowski Collapse - Mon, 21 Jun 2021 18:45 UTC

Probably Graham Coopers makes the same shit
face with his mini Prolog like a mini Kanren disciple.

Mama, its now working... Cry Cry

"Mama, oooh,
Didn't mean to make you cry,
If I'm not back again this time tomorrow,
Carry on, carry on as if nothing really matters"
https://www.youtube.com/watch?v=vsl3gBVO2k4

Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:40:01 UTC+2:
> Here is the paper. You could try it in Graham
> Coopers Poop Prolog aka mini Prolog:
>
> William E. Byrd, Eric Holk, Daniel P. Friedman, 2012
> miniKanren, Live and Untagged
> Quine Generation via Relational Interpreters
> http://webyrd.net/quines/quines.pdf
> Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:30:10 UTC+2:
> > But I already see the confused face of some miniKanren
> > disciple, because their system takes 10 minutes to find
> > the same quine, whereas the latest measurement was
> >
> > /* SWI-Prolog 8.3.17 */
> > ?- time((dif(Q, []), quine(Q, 6, N))).
> > % 48,502,916 inferences, 2.859 CPU in 2.859 seconds (100% CPU, 16962768 Lips)
> >
> > /* Jekejeke Prolog 1.4.7 */
> > ?- time((dif(Q, []), quine(Q, 6, N))).
> > % Up 13,367 ms, GC 99 ms, Threads 13,235 ms (Current 01/10/21 01:35:24)
> >
> > But maybe should redo the measurement. I did not
> > yet try it with Dogelog. For Dogelog its a little bit too early,
> > its still a puppy. Need to add some more stuff.
> > Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:10:14 UTC+2:
> > > There are lisp interpreters, written in Prolog by myself:
> > >
> > > Pure Prolog Scheme Quine
> > > https://stackoverflow.com/q/65446636/502187
> > >
> > > Scheme is derived from LISP:
> > >
> > > Scheme is a minimalist dialect of the Lisp family of programming languages.
> > > https://en.wikipedia.org/wiki/Scheme_%28programming_language%29
> > >
> > > Have Fun!
> > > Graham Cooper schrieb am Montag, 21. Juni 2021 um 20:01:54 UTC+2:
> > > > On Tuesday, June 22, 2021 at 3:47:14 AM UTC+10, burs...@gmail.com wrote:
> > > > > Can you do (G1 -> G2; G3) in mini prolog? Its the Prolog
> > > > > if-then-else. I never saw this in Graham Coopers Poop
> > > > >
> > > > > Prolog aka mini prolog. Maybe its too much mini,
> > > > > a maxi prolog would be maybe better.
> > > > >
> > > > > But if-then-else is ISO core standard.
> > > > maybe you should write a LISP interpreter
> > > >
> > > > have a [DOWNLOAD] button with all attachments

Re: Graham Coopers Poop Prolog

<7100deca-bf56-429b-8f1c-4e2dbeaaa15an@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:883:: with SMTP id b3mr14547qka.433.1624301256800; Mon, 21 Jun 2021 11:47:36 -0700 (PDT)
X-Received: by 2002:a25:424c:: with SMTP id p73mr35209560yba.28.1624301256533; Mon, 21 Jun 2021 11:47:36 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr2.iad1.usenetexpress.com!border1.nntp.dca1.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: Mon, 21 Jun 2021 11:47:36 -0700 (PDT)
In-Reply-To: <c9e6a81e-a6bb-4874-b9da-92fc18d140cbn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com> <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com> <c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com> <68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org> <8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com> <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com> <e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com> <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com> <b02a13c5-5872-4fa5-8934-b20f1c969546n@googlegroups.com> <98e89e4b-84bf-42b8-8872-1b2192d34110n@googlegroups.com> <c9e6a81e-a6bb-4874-b9da-92fc18d140cbn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7100deca-bf56-429b-8f1c-4e2dbeaaa15an@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 21 Jun 2021 18:47:36 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 65
 by: Mostowski Collapse - Mon, 21 Jun 2021 18:47 UTC

Corr.:
Mama, its not working... Cry Cry
Why is my interpreter so slow....

Ha Ha, Graham Coopers Poop
Prolog aka mini Prolog

Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:45:21 UTC+2:
> Probably Graham Coopers makes the same shit
> face with his mini Prolog like a mini Kanren disciple.
>
> Mama, its now working... Cry Cry
>
> "Mama, oooh,
> Didn't mean to make you cry,
> If I'm not back again this time tomorrow,
> Carry on, carry on as if nothing really matters"
> https://www.youtube.com/watch?v=vsl3gBVO2k4
> Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:40:01 UTC+2:
> > Here is the paper. You could try it in Graham
> > Coopers Poop Prolog aka mini Prolog:
> >
> > William E. Byrd, Eric Holk, Daniel P. Friedman, 2012
> > miniKanren, Live and Untagged
> > Quine Generation via Relational Interpreters
> > http://webyrd.net/quines/quines.pdf
> > Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:30:10 UTC+2:
> > > But I already see the confused face of some miniKanren
> > > disciple, because their system takes 10 minutes to find
> > > the same quine, whereas the latest measurement was
> > >
> > > /* SWI-Prolog 8.3.17 */
> > > ?- time((dif(Q, []), quine(Q, 6, N))).
> > > % 48,502,916 inferences, 2.859 CPU in 2.859 seconds (100% CPU, 16962768 Lips)
> > >
> > > /* Jekejeke Prolog 1.4.7 */
> > > ?- time((dif(Q, []), quine(Q, 6, N))).
> > > % Up 13,367 ms, GC 99 ms, Threads 13,235 ms (Current 01/10/21 01:35:24)
> > >
> > > But maybe should redo the measurement. I did not
> > > yet try it with Dogelog. For Dogelog its a little bit too early,
> > > its still a puppy. Need to add some more stuff.
> > > Mostowski Collapse schrieb am Montag, 21. Juni 2021 um 20:10:14 UTC+2:
> > > > There are lisp interpreters, written in Prolog by myself:
> > > >
> > > > Pure Prolog Scheme Quine
> > > > https://stackoverflow.com/q/65446636/502187
> > > >
> > > > Scheme is derived from LISP:
> > > >
> > > > Scheme is a minimalist dialect of the Lisp family of programming languages.
> > > > https://en.wikipedia.org/wiki/Scheme_%28programming_language%29
> > > >
> > > > Have Fun!
> > > > Graham Cooper schrieb am Montag, 21. Juni 2021 um 20:01:54 UTC+2:
> > > > > On Tuesday, June 22, 2021 at 3:47:14 AM UTC+10, burs...@gmail.com wrote:
> > > > > > Can you do (G1 -> G2; G3) in mini prolog? Its the Prolog
> > > > > > if-then-else. I never saw this in Graham Coopers Poop
> > > > > >
> > > > > > Prolog aka mini prolog. Maybe its too much mini,
> > > > > > a maxi prolog would be maybe better.
> > > > > >
> > > > > > But if-then-else is ISO core standard.
> > > > > maybe you should write a LISP interpreter
> > > > >
> > > > > have a [DOWNLOAD] button with all attachments

Re: Graham Coopers Poop Prolog

<af436832-7d43-4a0f-88fa-7be176cc7530n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:1003:: with SMTP id z3mr268116qkj.490.1624304035452; Mon, 21 Jun 2021 12:33:55 -0700 (PDT)
X-Received: by 2002:a25:43:: with SMTP id 64mr34907926yba.109.1624304035188; Mon, 21 Jun 2021 12:33:55 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.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: Mon, 21 Jun 2021 12:33:54 -0700 (PDT)
In-Reply-To: <7100deca-bf56-429b-8f1c-4e2dbeaaa15an@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.196; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.196
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com> <ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com> <c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com> <68c39768-cd86-4e78-a9c8-83c4304761ban@googlegroups.com> <saqh7l$6u9$1@solani.org> <8531cf0a-6e09-4631-98ac-d1392181a656n@googlegroups.com> <7be6f707-7b67-4523-94d3-a203ae5410ccn@googlegroups.com> <e05b290a-0df6-4cb2-a237-dff07f4556e6n@googlegroups.com> <ca714253-3516-49fd-80dc-7f53594c9a68n@googlegroups.com> <b02a13c5-5872-4fa5-8934-b20f1c969546n@googlegroups.com> <98e89e4b-84bf-42b8-8872-1b2192d34110n@googlegroups.com> <c9e6a81e-a6bb-4874-b9da-92fc18d140cbn@googlegroups.com> <7100deca-bf56-429b-8f1c-4e2dbeaaa15an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <af436832-7d43-4a0f-88fa-7be176cc7530n@googlegroups.com>
Subject: Re: Graham Coopers Poop Prolog
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 21 Jun 2021 19:33:55 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 21
 by: Graham Cooper - Mon, 21 Jun 2021 19:33 UTC

On Tuesday, June 22, 2021 at 4:47:37 AM UTC+10, burs...@gmail.com wrote:
> Corr.:
> Mama, its not working... Cry Cry
> Why is my interpreter so slow....
>
> Ha Ha, Graham Coopers Poop
> Prolog aka mini Prolog

miniProlog did 90% recursive unification
but only the 2nd leaf

it solved a LOT of prolog

but dual tail recursion and miniBASE variables start acting global

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<9bc02887-6b66-4990-9311-2b20a3bfe187n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:11c3:: with SMTP id n3mr12151686qtk.211.1624676078129;
Fri, 25 Jun 2021 19:54:38 -0700 (PDT)
X-Received: by 2002:a05:6902:1245:: with SMTP id t5mr16898555ybu.448.1624676077973;
Fri, 25 Jun 2021 19:54: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, 25 Jun 2021 19:54:37 -0700 (PDT)
In-Reply-To: <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:387:b:f:0:0:0:81;
posting-account=fsC03QkAAAAwkSNcSEKmlcR-W_HNitEd
NNTP-Posting-Host: 2600:387:b:f:0:0:0:81
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9bc02887-6b66-4990-9311-2b20a3bfe187n@googlegroups.com>
Subject: Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: plutonium.archimedes@gmail.com (Archimedes Plutonium)
Injection-Date: Sat, 26 Jun 2021 02:54:38 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Archimedes Plutonium - Sat, 26 Jun 2021 02:54 UTC

On Monday, June 21, 2021 at 12:00:21 PM UTC-5, Graham Cooper wrote:
> On Tuesday, June 22, 2021 at 2:54:40 AM UTC+10, burs...@gmail.com wrote:
> > Try yourself:
> > misc.prolog.compound.parenthesis.missing
> >
> > LMAO!
>
> Jan you work too hard. nobody wants theorem provers on prolog
>
> ASIMO tech is going to LISP which will just have a UNIFY routine
>
> but people can LEARN PROLOG if you EFF OFF!
>
>
>
> VOTE NOW! BAN JAN

Archimedes Plutonium votes to ban Jan Burse from all Google newsgroups, the man is a constant attack machine of anyone around.

Is Jan Burse behind the latest attacks on AP, where he forges AP's name to Twitter and then appears 50% of Google search hits of AP, appears all these forged Twitter posts of AP.

And Google says that Burse is a Google Scholar. Does the definition of Google Scholar mean-- someone who spends the majority of his day in attack of other people, is that the definition of a Google Scholar?

So if we look at a Google search of "Jan Burse" we see a fair and balanced with counterpoint on his first page. In fact we see two Counterpoints of the true character and worth of Jan Burse-- a nonstop attacker of everyone around him. Shame that Sigmund Freud is not around anymore, for maybe Sigmund could pry out how a person can be so disgustingly hateful of everyone around.

So, is Jan the one responsible in filling up the first two pages of Google Search of AP with venom of forged Twitter.

And a question please, Google, why do you even have Twitter posts in a Google Search list. Twitter is the gutter press of journalism, so why are half of AP's first two pages with Twitter forgeries? Or is that a test that a Google Scholar has to pass,-- defecate into a Google Search list of another person.

9th and 10th hit on first page of a Google Search of "Jan Burse"
----JAN BURSE BARRED FROM comp.lang.prolog ... - Google Groups
REQUEST FOR DISCUSSION - BAN JAN BURSE WADDA Ya SAY JAN? time to take a break... you can answer c.l.p questions 2026. Mostowski Collapse's profile ...

Joel Mesot of Zurich ETH, why cannot the idiot Jan Burse ...
Joel Mesot of Zurich ETH, why cannot the idiot Jan Burse understand Boole logic is all wrong with his 10 OR 2 = 12 with AND as subtraction, is Jan Burse a ...

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<2271c3b4-6c17-4775-b937-14e3cfad2eaen@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a37:b12:: with SMTP id 18mr18799489qkl.366.1624869382298;
Mon, 28 Jun 2021 01:36:22 -0700 (PDT)
X-Received: by 2002:a25:8146:: with SMTP id j6mr2202247ybm.28.1624869379996;
Mon, 28 Jun 2021 01:36:19 -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: Mon, 28 Jun 2021 01:36:19 -0700 (PDT)
In-Reply-To: <9bc02887-6b66-4990-9311-2b20a3bfe187n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:f7:1f19:f2b7:2c86:566:5585:810d;
posting-account=AqNUYgoAAADmkK2pN-RKms8sww57W0Iw
NNTP-Posting-Host: 2003:f7:1f19:f2b7:2c86:566:5585:810d
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
<9bc02887-6b66-4990-9311-2b20a3bfe187n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2271c3b4-6c17-4775-b937-14e3cfad2eaen@googlegroups.com>
Subject: Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: minforth@arcor.de (minf...@arcor.de)
Injection-Date: Mon, 28 Jun 2021 08:36:22 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: minf...@arcor.de - Mon, 28 Jun 2021 08:36 UTC

Archimedes Plutonium schrieb am Samstag, 26. Juni 2021 um 04:54:38 UTC+2:
> On Monday, June 21, 2021 at 12:00:21 PM UTC-5, Graham Cooper wrote:
> > On Tuesday, June 22, 2021 at 2:54:40 AM UTC+10, burs...@gmail.com wrote:
> > > Try yourself:
> > > misc.prolog.compound.parenthesis.missing
> > >
> > > LMAO!
> >
> > Jan you work too hard. nobody wants theorem provers on prolog
> >
> > ASIMO tech is going to LISP which will just have a UNIFY routine
> >
> > but people can LEARN PROLOG if you EFF OFF!
> >
> >
> >
> > VOTE NOW! BAN JAN
> Archimedes Plutonium votes to ban Jan Burse from all Google newsgroups, the man is a constant attack machine of anyone around.
>
> Is Jan Burse behind the latest attacks on AP, where he forges AP's name to Twitter and then appears 50% of Google search hits of AP, appears all these forged Twitter posts of AP.
>
> And Google says that Burse is a Google Scholar. Does the definition of Google Scholar mean-- someone who spends the majority of his day in attack of other people, is that the definition of a Google Scholar?
>
> So if we look at a Google search of "Jan Burse" we see a fair and balanced with counterpoint on his first page. In fact we see two Counterpoints of the true character and worth of Jan Burse-- a nonstop attacker of everyone around him. Shame that Sigmund Freud is not around anymore, for maybe Sigmund could pry out how a person can be so disgustingly hateful of everyone around.
>
> So, is Jan the one responsible in filling up the first two pages of Google Search of AP with venom of forged Twitter.
>
> And a question please, Google, why do you even have Twitter posts in a Google Search list. Twitter is the gutter press of journalism, so why are half of AP's first two pages with Twitter forgeries? Or is that a test that a Google Scholar has to pass,-- defecate into a Google Search list of another person.
>
> 9th and 10th hit on first page of a Google Search of "Jan Burse"
> ----JAN BURSE BARRED FROM comp.lang.prolog ... - Google Groups
> REQUEST FOR DISCUSSION - BAN JAN BURSE WADDA Ya SAY JAN? time to take a break... you can answer c.l.p questions 2026. Mostowski Collapse's profile ....
>
> Joel Mesot of Zurich ETH, why cannot the idiot Jan Burse ...
> Joel Mesot of Zurich ETH, why cannot the idiot Jan Burse understand Boole logic is all wrong with his 10 OR 2 = 12 with AND as subtraction, is Jan Burse a ...

Useless attempt in a non-moderated group. And who wants that moderator job?
c.l.p. is dead.

Archimedes Plutonium when he was young with his Parents

<sbc3n4$cf8$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeder5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janburse@fastmail.fm (Mostowski Collapse)
Newsgroups: comp.lang.prolog
Subject: Archimedes Plutonium when he was young with his Parents
Date: Mon, 28 Jun 2021 11:11:00 +0200
Message-ID: <sbc3n4$cf8$1@solani.org>
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com>
<31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com>
<46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
<9bc02887-6b66-4990-9311-2b20a3bfe187n@googlegroups.com>
<2271c3b4-6c17-4775-b937-14e3cfad2eaen@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 28 Jun 2021 09:11:00 -0000 (UTC)
Injection-Info: solani.org;
logging-data="12776"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:60.0) Gecko/20100101
Firefox/60.0 SeaMonkey/2.53.8
Cancel-Lock: sha1:x5lDnEYIOaPXyWEFNr3amYZgBIs=
In-Reply-To: <2271c3b4-6c17-4775-b937-14e3cfad2eaen@googlegroups.com>
X-User-ID: eJwFwQkBwDAIA0BLvGGV0wLxL2F36VB0BRKRTII71Kb1U5RSNgDt7c30OHTXJxi5Fbp1OMB3BRwbE7H6AWtrFYs=
 by: Mostowski Collapse - Mon, 28 Jun 2021 09:11 UTC

Alternative Mathematik | Kurzfilm
https://www.youtube.com/watch?v=Zh3Yz3PiXZw

minf...@arcor.de schrieb:
> Archimedes Plutonium schrieb am Samstag, 26. Juni 2021 um 04:54:38 UTC+2:
> Useless attempt in a non-moderated group. And who wants that moderator job?
> c.l.p. is dead.

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

<db0c55dd-3476-40cf-a59a-76fd1c6f6586n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:4741:: with SMTP id k1mr8818811qtp.374.1625412354711;
Sun, 04 Jul 2021 08:25:54 -0700 (PDT)
X-Received: by 2002:a25:db85:: with SMTP id g127mr11295143ybf.418.1625412354534;
Sun, 04 Jul 2021 08:25:54 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.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: Sun, 4 Jul 2021 08:25:54 -0700 (PDT)
In-Reply-To: <9bc02887-6b66-4990-9311-2b20a3bfe187n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:387:b:9:0:0:0:1e;
posting-account=fsC03QkAAAAwkSNcSEKmlcR-W_HNitEd
NNTP-Posting-Host: 2600:387:b:9:0:0:0:1e
References: <4d7eaf0f-d7df-4a72-9e51-e7fdc3f1c5b5n@googlegroups.com>
<ef1acb6d-24b1-4441-9019-cad50bce1398n@googlegroups.com> <31f06ecf-6774-4ea7-bf2c-c6b60048c4cen@googlegroups.com>
<c9cd4626-5381-4f21-a708-cd9e980355fan@googlegroups.com> <46c9df5c-273d-4cef-b1cd-a4b5e9a3a946n@googlegroups.com>
<9bc02887-6b66-4990-9311-2b20a3bfe187n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <db0c55dd-3476-40cf-a59a-76fd1c6f6586n@googlegroups.com>
Subject: Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD
From: plutonium.archimedes@gmail.com (Archimedes Plutonium)
Injection-Date: Sun, 04 Jul 2021 15:25:54 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 25893
 by: Archimedes Plutonium - Sun, 4 Jul 2021 15:25 UTC

#1-1, 148th published book

Plutonium Atom Totality Universe, 9th edition 2021, Atom Totality Series, book 1 Kindle Edition
by Archimedes Plutonium (Author)

Preface:
Physics book that explains what the universe is, and how it works. This is a continuation of the Atomic Theory by Democritus in Ancient Greek times. It adds one more fact to the Atomic Theory picture. That the Universe itself is one gigantic big atom. The picture is that the Universe, in total is one big atom that contains more atoms, inside itself. It completes the logic of science that Dr. Feynman wrote-- all things are made up of atoms -- and so, to complete that idea -- all things and the universe itself is an atom.

In this edition of year 2021, AP actually proves the Atom Totality theory, and therefore, a simultaneously _disproof_ of the Big Bang theory. The proof is simple, in that Sun and stars shine not from fusion, but rather, instead, shine from the Faraday law going on inside each and every proton in the Universe. The muon is the true electron of atoms and is the bar magnet in Faraday's law while the proton is a 840MeV particle in the geometry shape of 8 ring coil torus that is the closed loop coil in Faraday's Law. NASA scientists have discovered the Sun is a yearly increase in radiation of 0.005% yearly, and is why 25% of all insects have perished in the last decade 2010-2020. Stars and Sun shine from Faraday law, not from fusion and that is how the Universe itself grows. So, we cannot logically have two different mechanisms for the creation of the Universe. We cannot have electricity magnetism of Faraday law and then some silly "explosion of Big Bang" to create and grow the universe.

Also, in the course of providing supporting evidence of the Atom Totality theory, my research had to revise and correct the entire Maxwell Equations, and revise and correct the theory, the quantum electrodynamics theory.

Cover Picture: Again I used 8 rings from plumbing hardware to represent the 8 rings of a proton torus ring and visualize each ring as a dot cloud pattern instead of a continuous ring, and the holes in some of those rings helps facilitate that image. Notice the muon ring is inside the proton torus perpendicular at the equator, going around and around the proton torus at nearly the speed of light in the Faraday law, producing electricity.

Length: 316 pages

Product details
• ASIN : B08T82M2LP
• Publication date : January 16, 2021
• Language: : English
• File size : 887 KB
• Text-to-Speech : Enabled
• Screen Reader : Supported
• Enhanced typesetting : Enabled
• X-Ray : Not Enabled
• Word Wise : Enabled
• Print length : 316 pages
• Lending : Enabled

#1-2, 48th published book

Plutonium Atom Totality Universe, Atom Totality Series, book 2 Kindle Edition
by Archimedes Plutonium (Author)

--------------------------
Table of Contents
--------------------------

1) A visual image of a Atom Totality

2) Simply multiply 9 times 105MeV and there you get the rest mass of proton and neutron.

3) The tau-electron 1777MeV is merely 105MeV multiply by 17 is 1785 with Sigma Error of 0.4%.

4) Particle in the 840MeV range so that we can say we discovered the proton particle isolated of its internal muon.

5) Found a 840MeV particle in experimental physics, but, is it the proton torus without its interior occupied by a muon?

6) The theory of 9s, as help in physics.

7) How we picture the interior of Atoms, and the Atom Totality.

8) The Principle of Scooting-Over, applied.

9) An ongoing commentary of the geometry of atoms, both interior and exterior.

10) Galaxies form Rings in Faraday Coil, and Faraday bar-magnet // Cosmic Proton, Cosmic Muon.

11) Is there a Cosmic Faraday Law going on?
Length: 148 pages

Product details
File Size: 2370 KB
Print Length: 148 pages
Simultaneous Device Usage: Unlimited
Publication Date: June 10, 2019
Sold by: Amazon Digital Services LLC
Language: English
ASIN: B07SW87BF5
Text-to-Speech: Enabled 
X-Ray: 
Not Enabled  

Word Wise: Enabled
Lending: Enabled
Screen Reader: Supported 
Enhanced Typesetting: Enabled 
Amazon Best Sellers Rank: #285,417 Paid in Kindle Store (See Top 100 Paid in Kindle Store)
#826 in Astronomy (Books)
#166 in Astronomy (Kindle Store)
#671 in Physics (Kindle Store)

#1-3, 74th published book

HISTORY OF THE PROTON MASS and the 945 MeV //Atom Totality series, book 3 Kindle Edition
by Archimedes Plutonium (Author)

In 2016-2017, AP discovered that the real proton has a mass of 840 MeV, not 938. The real electron was actually the muon and the muon stays inside the proton that forms a proton torus of 8 rings and with the muon as bar magnet is a Faraday Law producing magnetic monopoles. So this book is all about why researchers of physics and engineers keep getting the number 938MeV when they should be getting the number 840 MeV + 105 MeV = 945 MeV.

Cover Picture is a proton torus of 8 rings with a muon of 1 ring inside the proton torus, doing the Faraday Law and producing magnetic monopoles.
Length: 17 pages

Product details
• Publication Date : December 18, 2019
• Word Wise : Enabled
• Print Length : 17 pages
• File Size : 698 KB
• ASIN : B082WYGVNG
• Language: : English
• Text-to-Speech : Not enabled
• Enhanced Typesetting : Enabled
• Screen Reader : Supported
• X-Ray : Not Enabled
• Lending : Enabled

#1-4, 105th published book

Atom Geometry is Torus Geometry // Atom Totality series, book 4 Kindle Edition
by Archimedes Plutonium (Author)

Since all atoms are doing the Faraday Law inside them, of their thrusting muon into a proton coil in the shape of a geometry torus, then the torus is the geometry of each and every atom. But then we must explain the neutrons since the muon and proton are doing Faraday's Law, then the neutron needs to be explained in terms of this proton torus with muon inside, all three shaped as rings. The muon is a single ring and each proton is 8 rings. The neutron is shaped like a plate and is solid not hollow. The explanation of a neutron is that of a capacitor storing what the proton-muon rings produce in electricity. Where would the neutron parallel plates be located? I argue in this text that the neutron plates when fully grown from 1 eV until 945MeV are like two parallel plate capacitors where each neutron is part of one plate, like two pieces of bread with the proton-muon torus being a hamburger patty.

Cover Picture: I assembled two atoms in this picture where the proton torus with a band of muons inside traveling around and around the proton torus producing electricity. And the pie-plates represent neutrons as parallel-plate capacitors.
Length: 39 pages

Product details
• Publication Date : March 24, 2020
• Word Wise : Not Enabled
• ASIN : B086BGSNXN
• Print Length : 39 pages
• File Size : 935 KB
• Language: : English
• Text-to-Speech : Not enabled
• Screen Reader : Supported
• X-Ray : Not Enabled
• Enhanced Typesetting : Enabled
• Lending : Enabled
Amazon Best Sellers Rank: #1,656,820 Paid in Kindle Store (See Top 100 Paid in Kindle Store)
#6413 in Mathematics (Kindle Store)
#315 in One-Hour Science & Math Short Reads
#4953 in Physics (Kindle Store)

#1-5, 112th published book

New Perspective on Psi^2 in the Schrodinger Equation in a Atom Totality Universe// Atom Totality series, book 5
Kindle Edition
by Archimedes Plutonium (Author)

I first heard of the Schrodinger equation in college chemistry class. We never actually did any problem solving with the equation, and we were only told about it. Then taking physics my next year in college and after I bought the Feynman Lectures on Physics, just for fun for side reading, three volume set did I learn what this Schrodinger equation and the Psi^2 wavefunction was about. I am not going to teach the mathematics of the Schrodinger equation and the math calculations of the Psi or Psi^2 in this book, but leave that up to the reader or student to do that from Feynman's Lectures on Physics. The purpose of this book is to give a new and different interpretation of what Psi^2 is, what Psi^2 means. Correct interpretation of physics experiments and observations turns out to be one of the most difficult tasks in all of physics.

Cover Picture: a photograph taken of me in 1993, after the discovery of Plutonium Atom Totality, and I was 43 years old then, on a wintery hill of New Hampshire. It is nice that Feynman wrote a physics textbook series, for I am very much benefitting from his wisdom. If he had not done that, getting organized in physics by writing textbooks, I would not be writing this book.. And I would not have discovered the true meaning of the Fine Structure Constant, for it was Feynman who showed us that FSC is really 0.0854, not that of 0.0072. All because 0.0854 is Psi, and Psi^2 is 0.0072.
Length: 20 pages

Product details
• ASIN : B0875SVDC7
• Publication date : April 15, 2020
• Language: : English
• File size : 1134 KB
• Text-to-Speech : Enabled
• Screen Reader : Supported
• Enhanced typesetting : Enabled
• X-Ray : Not Enabled
• Word Wise : Enabled
• Print length : 20 pages
• Lending : Enabled
• Best Sellers Rank: #240,066 in Kindle Store (See Top 100 in Kindle Store)
◦ #5 in 30-Minute Science & Math Short Reads
◦ #65 in General Chemistry & Reference
◦ #481 in Physics (Kindle Store)


Click here to read the complete article

devel / comp.lang.prolog / Re: Graham Coopers Poop Prolog

Pages:123
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor