Subsumption checking

From Prologstandard

Revision as of 16:45, 17 May 2007 (edit) ParkerJones (Talk | contribs) ← Previous diff		Revision as of 16:45, 17 May 2007 (edit) (undo) ParkerJones (Talk | contribs) Next diff →
Line 4:		Line 4:
	# subsumes_chk/2		# subsumes_chk/2
	# subsumes/2		# subsumes/2
-	* both subsumes_chk/2 and subsumes/2	+	# both subsumes_chk/2 and subsumes/2
	Naming:		Naming:

---

Revision as of 16:45, 17 May 2007

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

Choice of built-in:

1. subsumes_chk/2
2. subsumes/2
3. both subsumes_chk/2 and subsumes/2

Naming:

• subsumes_chk/2
• more_general/2

References

• [1]