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

Still on the research side (2001/4)