| Did you know ... | Search Documentation: |
 | Pack subsumes -- prolog/subsumes.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- subsumes(?General, ?Specific) is semidet
- subsumes/2 maintains the relation that one term subsumes another,
according to standard unification of terms.
See the unit tests for examples.
- subsumes_chk(+General, +Specific) is semidet
- Holds if General necessarily subsumes Specific.
This predicate fails to be relational when subsumption is induced after it fails:
?- \+ subsumes_chk(G, S), G subsumes S, subsumes_chk(G, S). G subsumes S.