/subsumes

Relational term subsumption for SWI-Prolog

Primary LanguageProlog

Watchers