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, etc)
Any system can validate proofs