Received: by 10.66.81.129 with SMTP id a1mr2063412pay.30.1353185272965;
        Sat, 17 Nov 2012 12:47:52 -0800 (PST)
MIME-Version: 1.0
Received: by 10.50.11.196 with SMTP id s4mr843260igb.9.1353185272264; Sat, 17
 Nov 2012 12:47:52 -0800 (PST)
Path: s9ni12298pbb.0!nntp.google.com!kr7no9782841pbb.0!postnews.google.com!me7g2000pbb.googlegroups.com!not-for-mail
Newsgroups: sci.logic,sci.math,comp.ai.philosophy,sci.physics,rec.org.mensa
Date: Sat, 17 Nov 2012 12:47:52 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: me7g2000pbb.googlegroups.com; posting-host=101.168.42.144; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 101.168.42.144
References: <0988dbcd-4529-4eea-864d-4e6cab2cb0f9@vb8g2000pbb.googlegroups.com>
 <6faf8180-1047-4644-b8e5-fbf064a496c9@s14g2000vba.googlegroups.com>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1) AppleWebKit/537.11 (KHTML, like
 Gecko) Chrome/23.0.1271.64 Safari/537.11,gzip(gfe)
Message-ID: <04ce18de-3527-4700-a666-418c84de3663@me7g2000pbb.googlegroups.com>
Subject: Re: SCI.LOGIC is a STAGNANT CESS PITT of LOSERS!
From: Graham Cooper <grahamcoop...@gmail.com>
Injection-Date: Sat, 17 Nov 2012 20:47:52 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

On Nov 18, 3:17=A0am, George Greene <gree...@email.unc.edu> wrote:
> On Nov 17, 3:50=A0am, Graham Cooper <grahamcoop...@gmail.com> wrote:
>
> >www.microPROLOG.com
>
> > A FORMAL SYSTEM WRITTEN PURELY IN PREDICATES!
>
> > f(0).
> > t(1).
> > t(X) :- f(f(X)).
> > wff(X) :- t(X).
> > wff(X) :- f(X).
>
> There is NOTHING "micro" about this!
> Prolog ALREADY EXISTS! =A0It's ALREADY WRITTEN!
> It ALREADY DOES THIS!


Does not!


> All YOU are doing is ADDING SOMETHING ON TOP of a system that IS
> ALREADY MUCH BIGGER than "micro"!
>
> Prolog ALREADY KNOWS what a WFF looks like!
> Prolog ALREADY HAS "," for and and ";" for or!
>
> You are not SHRINKING anything DOWN to "micro" by ADDING LONGER
> versions of what IS ALREADY there!
>


It's a 2 logic value language (resolution capable)
written in a 1 logic value language (successful-match / negation-as-
failure)

Just because I haven't finished it yet, i.e. you just type in a
formula and it proves it doesn't mean it's old hat.

IT HAS [FALSE] GEORGE!   [NOT]

?- or ( if(1,0) , if(1,X) ).
X =3D 1

YOU DON'T HAVE ANY SOFTWARE THAT DOES THIS IN A 4GL!


Herc