Subsumption checking

From Prologstandard

Revision as of 16:34, 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)
(4 intermediate revisions not shown)
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==
		+	* [http://neve.di.ubi.pt/pipermail/prolog-standard/2006-November/000164.html]

---

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]