Logic Layer
- Universal language for monotonic logic.
- Any rule system can export, generally cannot import.
- No one standard engine - inference capabilities differ.
- Many engines exist (SQL to KIF, Cycl, Jess, etc).
- Any system can validate proofs.
José M. Vidal
.
11 of 15