Thanks for the reply as i understand it at the basic you are creating a logic non turing complete programming language that is general purpose.

How does it relate in logic to Shen, http://shenlanguage.org/

Forerunner is QI - http://www.shenlanguage.org/lambdassociates/htdocs/Book/page012.htm

thanks