Subsumption checking
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
ParkerJones (Talk | contribs) m (Subsumption Checking moved to Subsumption checking) |
||
| (3 intermediate revisions not shown) | |||
| Line 1: | Line 1: | ||
| - | * | + | * 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 | ||
==References== | ==References== | ||
* [http://neve.di.ubi.pt/pipermail/prolog-standard/2006-November/000164.html] | * [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
