Skip to main content
Version: Next

subsumes_term/2

Description​

subsumes_term/2 is a predicate that checks if one term subsumes another.

Signature​

subsumes_term(+General, +Specific)

Where:

  • General is the general term.
  • Specific is the specific term.

A term General subsumes Specific if there exists a substitution that makes General identical to Specific.