Subsumption checking

From Prologstandard

Revision as of 16:35, 17 May 2007 by ParkerJones (Talk | contribs)

(diff) ←Older revision | view current revision (diff) | Newer revision→ (diff)

Should subsumes_chk/2 be a built-in?
Should subsumes/2 be a built-in?
Both?

References

[1]

Retrieved from "http://editthis.info/prologstandard/Subsumption_checking"

Views

Personal tools

Log in / create account

Search

EditThis.info tools

Toolbox

Other sites

Hosting costs for this site are about $100 per month. Help keep EditThis.info ad free!