Subsumption checking
From Prologstandard
Revision as of 16:45, 17 May 2007 by ParkerJones (Talk | contribs)
- 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
