merah-putih/qualm
a LP system, implemented in XSB Prolog, that combines contextual abduction, updating, and counterfactuals, afforded by tabling mechanisms
OpenEdge ABL
a LP system, implemented in XSB Prolog, that combines contextual abduction, updating, and counterfactuals, afforded by tabling mechanisms
OpenEdge ABL