Subsumption checking

From Prologstandard

• subsumes_chk/2 and subsumes/2 can be defined in terms of each other.

Choice of built-in:

• subsumes_chk/2
• subsumes/2
• both subsumes_chk/2 and subsumes/2

Naming:

• subsumes_chk/2
• more_general/2

[edit] References

• [1]