Experiment with Event Calculus in Metta language
- First-order backchainer emulator
- fol-bc.metta: backchaining inference logic
- fol-bc-kb.metta: knowledge bases for testing. Rules are in Horn clauses
- fol-bc.test.metta: queries
- Simplified Event Calculus
- sec.metta: self-contained simplified event calculus, with yaleshooting scenario test