Basic Concepts

The axiomatic content of the engine is encompassed by the concepts of the predicates and the rules. Here we have a geometric description of each predicate and rule, along with their syntax.

Contents:

• Newclid Predicates
• Rules
  • Legacy rules
  • New rules