Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/yyy/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/yyy/match.h

MEXPORT_PROVER int match(term t, term lhs, term rhs, term *a, term *ans);
MEXPORT_PROVER int unify1(term p, term u, term *a, int *flag); /* match.c */
MEXPORT_POLYVAL int matchstring(term t, term x, char *pattern, term *a);  /* matchstr.c */

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists