Sindbad~EG File Manager

int depends(term t, term x);
int subst(term, term , term , term *);
int equals(term a, term b);
term make_term(unsigned short f, unsigned short n);
int contains( term t, unsigned short f);
int atomsin(term t, term **atomlist);
int variablesin(term t, term **atomlist);
term make_int(long n);
term make_double(double x);
void tneg(term x,term *ans);
term tnegate(term x);
int constant(term);
unsigned short contains_sqrt(term);
int contains2(term,unsigned short,unsigned short); /* does t contain functor f with arity n? */
void copy(term, term *);
int contains_compound_fractions(term t);
int alpha_equivalent(term, term);   // in alphaeq.c