Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: SCI.LOGIC is a STAGNANT CESS PITT of LOSERS!
Replies: 7   Last Post: Nov 17, 2012 7:44 PM

 Messages: [ Previous | Next ]
 Graham Cooper Posts: 4,495 Registered: 5/20/10
Re: SCI.LOGIC is a STAGNANT CESS PITT of LOSERS!
Posted: Nov 17, 2012 3:47 PM

On Nov 18, 3:17 am, George Greene <gree...@email.unc.edu> wrote:
> On Nov 17, 3:50 am, 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).

>

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 = 1

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

Herc

Date Subject Author
11/17/12 Graham Cooper
11/17/12 george
11/17/12 Graham Cooper
11/17/12 INFINITY POWER
11/17/12 Hercules ofZeus
11/17/12 Graham Cooper