Subsumption checking

From Prologstandard

Revision as of 18:33, 17 May 2007 by ParkerJones (Talk | contribs)
(diff) ←Older revision | view current revision (diff) | Newer revision→ (diff)
  • 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

Retrieved from "http://editthis.info/prologstandard/Subsumption_checking"
Personal tools