Subsumption checking

From Prologstandard

Revision as of 16:35, 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 1:		Line 1:
-	* Should subsumes_chk/2 be a built-in?	+	* subsumes_chk/2 and subsumes/2 can be defined in terms of each other.
-	* Should subsumes/2 be a built-in?	+
-	* Both?	+	Choice of built-in:
		+	# subsumes_chk/2
		+	# subsumes/2
		+	* both subsumes_chk/2 and subsumes/2
		+
		+	Naming:
		+	* subsumes_chk/2
		+	* more_general/2
	==References==		==References==
	* [http://neve.di.ubi.pt/pipermail/prolog-standard/2006-November/000164.html]		* [http://neve.di.ubi.pt/pipermail/prolog-standard/2006-November/000164.html]

---

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

• both subsumes_chk/2 and subsumes/2

Naming:

• subsumes_chk/2
• more_general/2

References

• [1]