A revolutionary OS/Programming Idea

[Lynn H. Maxson]

"So, wait, are you saying you have this language?  Will you be 
posting this presentation on the web somewhere?"

The language in terms of syntax and data types is PL/I.  In 
terms of operators and their symbol set it's APL2, including 
the use of the left arrow (<-) instead  of the equal (=) in the 
assignment statement.  This allows the equal to have its 
normal logical meaning only as well as representing an 
assertion statement.  All that remains is to borrow the list 
aggregate and operators from LISP.  You need additional data 
types, e.g. 'relation', to support facts from logic programming.  
You also need the 'range' option in the data declares to 
associate rules from logic programming.

That about does it.  At least it has so far.