demod_attempts | demod_rewrites | demodulate |
int demod_attempts();Return the number of rewrite attempts so far (for the whole process).
int demod_rewrites();Return the number of successful rewrites so far (for the whole process).
Term demodulate(Term t, Mindex demods, Ilist *just_head);This routine demodulates a term. ID numbers of demodulators are put on the front of just_head, so you'll probably want to reverse the list before putting it into the clause justification.
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.