ml">Context</A>;

struct context {
  <A HREF="term.html">Term</A>    terms[MAX_VARS];    /* terms substituted for variables */
  <A HREF="unify.html">Context</A> contexts[MAX_VARS]; /* Contexts corresponding to terms */
  int     multiplier;         /* for getting separate vars in apply */
  <A HREF="term.html">Term</A>    partial_term;       /* for AC matching */
};

typedef struct trail * <A HREF="unify.html">Trail</A>;

/* The following type is for backtrack unification and matching. */

typedef enum { N