> On Nov 18, 3:17 am, George Greene <gree...@email.unc.edu> wrote: > > All YOU are doing is ADDING SOMETHING ON TOP of a system that IS > > ALREADY MUCH BIGGER than "micro"! > > > You are not SHRINKING anything DOWN to "micro" by ADDING LONGER > > versions of what IS ALREADY there! >
No! This is where mathematics, logic, A.I. and computation separated in 1972 when PROLOG came out.