/* ----------------------------------------------------------
%   (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
==================================================================== */
/*--------------------------------------------------------------------
*          <<syspdef.h>>
*     initialize system predicate variable
--------------------------------------------------------------------*/

/* system predicate in cu-Prolog */
struct func *ABOMB_P;
struct func *ABOLISH_P;
struct func *APND_P;
struct func *ARG_P;
struct func *ASSERTA_P;
struct func *ASSERTZ_P;
struct func *ASSERT_P;
struct func *ATTACH_P;
struct func *ATOMTOSTR_P;
struct func *CAT_P;
struct func *CLAUSE_P;
struct func *CLOSE_P;
struct func *CMP_P;
struct func *CNAME_P;
struct func *CONCAT2_P;
struct func *CONCAT_P;
struct func *COUNT_P;
struct func *CUT_P;
struct func *DEFAULT_P;
struct func *DIVSTR_P;

struct func *EQUAL_P;
struct func *EQ_P;
struct func *EXECUTE_P;
struct func *FAIL_P;
struct func *FUNCTOR_P;
struct func *GENSYM_P;
struct func *GEQ_P;
struct func *GREATER_P;
struct func *HALT_P;
struct func *ISOP_P;
struct func *INTEG_P;
struct func *LESS_P;
struct func *LEQ_P;
struct func *MAKELIST_P;
struct func *MEMB_P;
struct func *MODULAR_P;
struct func *MULTIPLY_P;
struct func *NAME_P;
struct func *NEQ_P;
struct func *NL_P;
struct func *OP_P;
struct func *OPEN_P;
struct func *OR_P;
struct func *PROJECT_P;
struct func *PCONSTRAINT_P;
struct func *PCONSTRAINT2_P;
struct func *READ_P;
struct func *RETRACT_P;
struct func *SEE_P;
struct func *SEEN_P;
struct func *SUBSTR_P;
struct func *STAY_P;
struct func *STRCMP_P;
struct func *STRLEN_P;
struct func *SUM_P;
struct func *T_P;
struct func *TAB_P;
struct func *TELL_P;
struct func *TOLD_P;
struct func *TREE_P;
struct func *TRUE_P;
struct func *UNBREAK_P;
struct func *VAR_P; 
struct func *WRITE_P;

struct func *PNAME_P;

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

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

struct func *RESET_TIMER_P;
struct func *TIMER_P;