1. Use tnot to translate not. And dynamically generate rules for
   a list of goals passed to not, table new predicate and pass
   it to tnot.

2. Support noop.

3. Use Hilog to implement aggregates.

4. Incorporate F-Logic and T-Logic.

5. Work areas.

6. if-then-else syntax and noop.

7. compiler instruction like :- augment findall(oid,truth,oid).



