a LP system, implemented in XSB Prolog, that combines contextual abduction, updating, and counterfactuals, afforded by tabling mechanisms
OpenEdge ABL
Permalink
Failed to load latest commit information.
examples
test
.gitignore
README
app_utils.P
list_utils.P
preprocess.P
qualm.P
the_tests.P

README

Qualm: a LP system, implemented in XSB Prolog, that combines contextual abduction, updating, and counterfactuals, afforded by tabling mechanisms (tabling in contextual abduction and incremental tabling of fluent literals updates).