Subsumption checking
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
ParkerJones (Talk | contribs) |
||
| Line 2: | Line 2: | ||
Choice of built-in: | Choice of built-in: | ||
| - | + | * subsumes_chk/2 | |
| - | + | * subsumes/2 | |
| - | + | * both subsumes_chk/2 and subsumes/2 | |
Naming: | Naming: | ||
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:
- subsumes_chk/2
- subsumes/2
- both subsumes_chk/2 and subsumes/2
Naming:
- subsumes_chk/2
- more_general/2
