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