Subsumption checking
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
ParkerJones (Talk | contribs) |
||
| Line 2: | Line 2: | ||
* Should subsumes/2 be a built-in? | * Should subsumes/2 be a built-in? | ||
* Both? | * Both? | ||
| + | |||
| + | ==References== | ||
| + | * [http://neve.di.ubi.pt/pipermail/prolog-standard/2006-November/000164.html] | ||
Revision as of 16:35, 17 May 2007
- Should subsumes_chk/2 be a built-in?
- Should subsumes/2 be a built-in?
- Both?
