Interlingua: current version
XML format ? Java objects ? text syntax for rule system X
Sample translators to/fro KIF and 3 rule systems in LP family, initially with pure-belief semantics as courteous LP rep’n.
- backward-direction: XSB (Stonybrook, commercializing).
- forward-direction: Smodels (Helsinki, academic).
- CommonRules courteous LP text syntax:
- courteous expressiveness: mutex’s, priorities.