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