Path: ...!feeds.phibee-telecom.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.logic
Subject: --- OLCOTT BANNED ---
Date: Tue, 9 Jul 2024 18:12:36 +0200
Message-ID: <v6jnhj$dij7$1@solani.org>
References: <v6iufa$cd7u$4@solani.org> <v6jk49$1ctoi$13@dont-email.me>
 <v6jkfa$1ctoi$14@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 9 Jul 2024 16:12:35 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="445031"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:zCSmt0kq0QGgLehbYUpIqvMjTiA=
In-Reply-To: <v6jkfa$1ctoi$14@dont-email.me>
X-User-ID: eJwFwQkBACAIA8BKDhhPHBTtH8E7qsNPmNONjy9GqLsmSaZKxdjK19MjfZMIlKERfXEgfXas4oSmY8RRHzxwFKc=
Bytes: 1920
Lines: 29


Fuck off asshole. Prolog is irrelevant for
the minimal logic posts. I only made this
joke, but it has nothing to do with occurs check:

 > Meanwhile I am going back to my tinkering with my
 > Prolog system, which even provides a more primitive
 > logic than minimal logic, pure Prolog is minimal
 >
 > logic without embedded implication.

You even don't know what the occurs check is,
and for what it is used.

If the occurs check is used, then
olcott schrieb:
> On 7/9/2024 10:14 AM, olcott wrote:
>> On 7/9/2024 4:04 AM, Mild Shock wrote:
>>>
>>> The full time idiot olcott should be
>>> put in jail, and the key should be thrown away.
>>> All he can do is spam other peoples threads
>>> with his crazy lovebird chirping.
>>
>> I initially thought that you would agree with me
>> about Prolog and not dismiss what I said out-of-hand
>> without review.
>>
>