/* ----------------------------------------------------------
%   (C)1992 Institute for New Generation Computer Technology
%       (Read COPYRIGHT for detailed information.)
----------------------------------------------------------- */
/*=====================================================================
*		cu-Prolog III (Constraint Unification Prolog)
*   Copyright: Institute for New Generation Computer Technology,Japan 
*                           1989--91
==================================================================== */
/*--------------------------------------------------------------------
*		<< sysp.h >>
*	(system predicate external reference)
--------------------------------------------------------------------*/

/*  functions included in cu-prolog  */
extern struct func *ABOLISH_P;
extern struct func *ARG_P;
extern struct func *APND_P; 
extern struct func *ASSERT_P; 		/* assert */
extern struct func *ASSERTA_P; 		/* asserta */
extern struct func *ASSERTZ_P; 		/* assertz */
extern struct func *ATTACH_P;

extern struct func *CAT_P;
extern struct func *CLAUSE_P;
extern struct func *CLOSE_P;
extern struct func *CMP_P;
extern struct func *CNAME_P;
extern struct func *CONCAT_P;
extern struct func *CONCAT2_P;
extern struct func *COUNT_P;		/* count */
extern struct func *CUT_P;

extern struct func *DEFAULT_P;
extern struct func *DIVSTR_P;
extern struct func *EOF_P;
extern struct func *EQUAL_P;		/* equal (=)  */
extern struct func *EQ_P;               /* eq (==) */
extern struct func *EXECUTE_P;
extern struct func *FAIL_P;
extern struct func *FUNCTOR_P;
extern struct func *GENSYM_P;
extern struct func *GEQ_P;
extern struct func *GREATER_P;
extern struct func *HALT_P;
extern struct func *ISOP_P;
extern struct func *INTEG_P;		/* integrate */
extern struct func *LESS_P;
extern struct func *LEQ_P;
extern struct func *MULTIPLY_P;
extern struct func *MAKELIST_P;		/* =.. */
extern struct func *MODULAR_P;		/* modlarize */
extern struct func *MULTIPLY_P;
extern struct func *NAME_P;		/* name */
extern struct func *NEQ_P;		/* not-equal */
extern struct func *NL_P;		/* nl	*/
extern struct func *OP_P;
extern struct func *OPEN_P;
extern struct func *OR_P;

extern struct func *PROJECT_P; /* print constraint */
extern struct func *PCONSTRAINT_P; /* print constraint */
extern struct func *PCONSTRAINT2_P;
extern struct func *READ_P;		/* read */
extern struct func *RETRACT_P;          /* retract */
extern struct func *SEE_P;
extern struct func *SEEN_P;
extern struct func *SUBSTR_P;
extern struct func *STAY_P;
extern struct func *STRCMP_P;
extern struct func *STRLEN_P;
extern struct func *SUM_P;
extern struct func *T_P;
extern struct func *TAB_P;
extern struct func *TELL_P;
extern struct func *TOLD_P;
extern struct func *TREE_P;
extern struct func *TRUE_P;
extern struct func *UNBREAK_P;
extern struct func *VAR_P;
extern struct func *WRITE_P;		/* write */

/* operators */
extern struct func *DEF_P;
extern struct func *QUERY1_P;
extern struct func *QUERY2_P;
extern struct func *NOT_P;
extern struct func *EQSIGN_P;
extern struct func *MKLIST_P;
extern struct func *CONSTRAINT_P;
extern struct func *CONSTRAINT2_P;
extern struct func *GREATER2_P;
extern struct func *GEQ2_P;
extern struct func *LESS2_P;
extern struct func *LEQ2_P;
extern struct func *EQUAL2_P;
extern struct func *EQ2_P;
extern struct func *PNAME_P;

/*  functions included in cu-prolog  */
extern struct func *LIST, *CUNIFY;
extern struct term *NIL, *FAIL;

extern struct func *PNAMES_P;
extern struct func *PVALUE_P;
extern struct func *TYPE_P;

extern struct func *RESET_TIMER_P;
extern struct func *TIMER_P;