| Current Path : /usr/home/beeson/MathXpert/ |
| Current File : /usr/home/beeson/MathXpert/match.h |
int match(term t, term lhs, term rhs, term *a, term *ans); int unify1(term p, term u, term *a, int *flag); /* match.c */ int matchstring(term t, term x, char *pattern, term *a); /* matchstr.c */