Subsumption checking

From Prologstandard

(Difference between revisions)
ParkerJones (Talk | contribs)

Next diff →

Revision as of 16:34, 17 May 2007

  • 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