term_subsumer(+Special1,
+Special2, -General)General is the most specific term that is a generalisation of
Special1 and Special2. The implementation can
handle cyclic terms.
[det]term_subsumer(+Special1,
+Special2, -General)General is the most specific term that is a generalisation of
Special1 and Special2. The implementation can
handle cyclic terms.
- author
- Inspired by LOGIC.PRO by Stephen Muggleton
- Compatibility
- SICStus