Did you know ... Search Documentation:
Predicate term_subsumer/3
Availability::- use_module(library(terms)).(can be autoloaded)
Sourceterm_subsumer(+Special1, +Special2, -General)
General is the most specific term that is a generalisation of Special1 and Special2. The implementation can handle cyclic terms.
History
  • Fixed in 10.1.15 (👉8cc80ef) term_factorized/2, term_subsumer/3: deal with zero-arity terms.
Disclaimer: heuristically mined from GIT
Availability::- use_module(library(terms)).(can be autoloaded)
Source[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
History
  • Fixed in 10.1.15 (👉8cc80ef) term_factorized/2, term_subsumer/3: deal with zero-arity terms.
Disclaimer: heuristically mined from GIT
Tags are associated to your profile if you are logged in
Tags: