/subsumes

Relational term subsumption for SWI-Prolog

Primary LanguageProlog

No issues in this repository yet.