Fix to mgu_args.
Fix to mgu_args.
Changed the mgu output.
minor fix.
standarize_apart_vars added.
standarize_apart_vars added.
get_variables -> get_vars.
get_clause_vars added.
Standarize_apart_clause added.
apply_substitution fix.
get_predicate fixed.
get_arguments -> get_args
get_resolvements fix.
Fixed clause copy bug.
Complementary literals fix.
get_arguments -> get_args
Removing inconsistent hypotheses.