My logic language for my AI applications models natural relationships and would require a PROLOG compiler that could evaluate from charts of competitive transactions such as an inverse square power law e.g. Ohms law, Osmosis, gravity, Lewin Field Theory in psychology, Fajans rules in Chemistry etc I have examples of the coding of HX Assembler aka HX PROLOG up on the net or from Lulu.com/scottishandrew also in this publication is the required synthetic a priori metaphysics that will translate boolean exchanges into natural events Not all competitive relationships are covered by the inverse square power law however and relationships can be attenuated by lack of intervening medium e.g. 1/x3 or density of intervening medium 1/x2 + (y+z) etc This language for high level declarations in conjunction with my Tripartite relativity and knowledge representation system which can deliver isomorphism between domains and a solution to the halting problem would be pretty cool if ever someone wanted to develop the database that could describe objects at various scales.