Subsumption checking

From Prologstandard

Revision as of 16:34, 17 May 2007 by ParkerJones (Talk | contribs)
(diff) ←Older revision | view current revision (diff) | Newer revision→ (diff)
  • Should subsumes_chk/2 be a built-in?
  • Should subsumes/2 be a built-in?
  • Both?
Retrieved from "http://editthis.info/prologstandard/Subsumption_checking"
Personal tools