Subsumption checking

From Prologstandard

Revision as of 16:45, 17 May 2007 (edit) ParkerJones (Talk | contribs) ← Previous diff

Current revision as of 18:33, 17 May 2007 (edit) (undo) ParkerJones (Talk | contribs) m (Subsumption Checking moved to Subsumption checking)

---

Current revision as of 18:33, 17 May 2007

• 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]