Continuing Work

I have updated the page with a new abstract or synopsis of the page. From Beyond lisp CSW page

Abstract

The purpose of this language is to encode a logical framework to reason about data. The problem we are trying to solve is the limitations of current logical programming languages being restricted to a limited area of logic. Another problem we are trying to solve is the ability to reason with sets of data and prove logical statements on those sets of data. By designing the language to have an integrated SAT automated theorem prover and a new compound data type this is our approach to solving this problem. The resulting language is a modification of the lisp programming language into a Set logical processing language


It also outlines my goals for the language. Also I have replaced generate with a eager set comprehension operator. It has been renamed mu-ec .