syukrimullia/tabdual-plus

TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption

Prolog