clause_weight | init_weight | weight |
int clause_weight(Clause c);
void init_weight(Plist rules, int variable_weight, int constant_weight, int not_weight, int or_weight, int sk_constant_weight, int prop_atom_weight, int skolem_penalty, int nest_penalty);Initialize weighting. The rules are copied.
int weight(Term t, Context subst);
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.