[ Reference Manual | Alphabetic Index ]

library(metutl)

Predicates

copy(?, ?)
No description available
ground(?)
No description available
occurs_check(?, ?)
No description available
occurs_in(?, ?)
No description available
simple(?)
No description available
subsumes(?, ?)
No description available
subsumes_chk(?, ?)
No description available
subterm(?, ?)
No description available
unify(?, ?)
No description available
var_member_chk(?, ?)
No description available
variables_of(?, ?)
No description available
variant(?, ?)
No description available

Generated from metutl.eci on 2017-07-09 15:37