Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


george
Posts:
800
Registered:
8/5/08


Re: SCI.LOGIC is a STAGNANT CESS PITT of LOSERS!
Posted:
Nov 17, 2012 7:13 PM


On Nov 17, 3:47 pm, Graham Cooper <grahamcoop...@gmail.com> wrote: > 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 >
> > There is NOTHING "micro" about this! > > Prolog ALREADY EXISTS! It's ALREADY WRITTEN! > > It ALREADY DOES THIS! > > Does not!
I have done some programming in Prolog. I have graded coursework in it. I WOULD know.
> It's a 2 logic value language (resolution capable) > written in a 1 logic value language (successfulmatch / negationas > failure)
Oh, PLEASE. NOBODY NEEDS TO UPGRADE Prolog from negationasfailure to the real thing. That IS NOT what it's FOR!
> > YOU DON'T HAVE ANY SOFTWARE THAT DOES THIS IN A 4GL!
Again, bullshit. Plenty of people have written theoremprovers. That is A SIMPLE program. Hell, Resolution BY ITSELF is complete. If you can write a program that can perform all the possible resolutions on a finite set of axioms THEN YOU ARE DONE. It is horrendously inefficient and of NO practical use BUT IT IS COMPLETE if the system is finitely axiomatizable.



