/************************************************
************************************************/
/* on yacc */
extern FILE *abac_yyin, *abac_yyout;
extern int yyparse();
extern void abac_init_yy();
extern char *abac_get_yap_clause();
extern char *abac_free_yap_clause();

/* on lex */
extern void abac_rest_yyin(FILE *);
extern void abac_rest_yyout(FILE *);
extern FILE *abac_get_yyin();
extern FILE *abac_get_yyout();
extern void abac_reset_yyfptr(char *);
extern char* abac_get_yyfptr();