<< cu-Prolog第三版 関数クロスリファレンス >> 92.1.24 function_name+ 一回しか現れない関数 function_name. 他の関数を呼び出していない関数 function_name~ 二度目以上の表示 [function_name] 主ルーチン [main]----------------------------------- メインループ . [prepare] システム初期設定 . prolog_execution prologトップレベルループ . . [systemcommand] システムコマンド(%)実行 . . [check_recursion] プログラムstaticアナライザ . . defnewfunc+ 新述語導入節($で始まる)読み込み&セット . . . rename_var_names . . . . truncate_varname+ . . . literalnumber. . . defclause+ プログラム節読み込み&セット . . . rename_var_names~ . . printtime CPUタイム表示 . . oscommand+ UNIX(OS)のコマンド実行 . . putcursor+ カーソル表示 . . questionclause+ 質問節読み込み&セット&実行 . . . [refute] 推論処理エントリ . . . Panswer+ 答の表示 . . . . Pbinding 変数の束縛表示 . . . . Trace_Answer . . . no+ . . readfile+ ファイル読み込み(fpセット) . . set_eof ファイル末尾 . . . clearerr. . . trans_routine+ 制約解消系(@コマンド) . . . modular+ @コマンドエントリ . . . . [startmodular] 制約解消系メイン . . . . nil+ . . . . show_newdefs+ 新述語表示 . on_interrupt+ . settimer タイマセット . . times. . signal+ [refute]----------------------------------- 推論処理メインルーチン . backtrack_node バックトラック先のノード . . Trace_False2 . Trace_False ゴール失敗時のトレース . Trace_Goal ゴールトレース表示 . . print_ancestors+ . Trace_True ゴール成功時のトレース . is_dead. それ以上ORのないリーフ . extend 展開 . . [system_function] 組み込み述語処理 . . init_set . . resolve+ ヘッドunification&ゴール置換 . . . [tunify] ユニファイア . . . Trace_Unification . is_tip. ゴールが空のノード . proceed_node 次のandゴールの存在するノード . . Trace_True2. . . next_goal+ . . have_nextgoal+ [prepare]----------------------------------- システム初期化 . init_status 大域変数初期化 . . init_syspred+ 組み込み述語・アトム他エントリ初期化 . . . defsyspred+ 組み込み述語初期化 . . . . Def1 . . . . Def1Red . . . . Def2+ . . . . Def2Red+ . . . . Deftemp+ . . . init_atoms+ 組み込みアトム初期化 . . . . Def1~ . . . . Defatom . . . init_froles+ 組み込み述語モード設定 . . . . init_system_component+ . . . init_operator+ オペレータ初期化 . . . . Def1~ . . . . Def1Red~ . . . . Defatom~ . . init_heap_max+ ヒープポインタ初期化 . isatty+ . open_title+ オープニングタイトル [systemcommand]----------------------------------- +組み込み述語処理 . [prepare] システム初期化 . quit_prolog cu-Prolog終了 . . delete_tmp 一時ファイル消去 . . keyread . readword+ . set_category+ JPSG用カテゴリファンクタ設定 . . init_category. . . list_to_cat+ . . number+ . edit_predicate+ プログラムエディット(子プロセスでエディタ使用） . . set_inputfile . . system. . filewrite プログラムをファイルに書き込む(%w) . . writenewfunc+ . freeheap ヒープ残領域表示 (%f) . garbagecollect 静的GC . . set_inputfile~ . . delete_tmp~ . print_constant+ システムアトム表示 . Shownewfunc+ 新述語導入節表示 . helpmenu+ ヘルプ(%h) . . show_category+ . loghandle+ ログファイル設定&解除 . preprocess_constraints+ 制約の前処理(%P) . . preprocess_unit . . . [termset] 項のコピー . . . check_modularity+ . . . . is_modular_literal . . . reduce_cstr+ . . . . [startmodular] . . . . [termset] . . . . reduce_substitute+ . . . . . [tunify] . . . . . compress_clause+ . . preprocess_constr_sub+ . . . preprocess_all_unit+ . print_hash_table+ ハッシュテーブル表示 . show_heap_max ヒープ表示(デバッグ用) . showdef+ プログラム定義表示(%d) . . [check_recursion] . . show_pred_def+ ユーザ述語表示 . . . isnewpred. . . . show_pred_roles . . . show_syspred_status+ . . show_syspred_name+ 組み込み述語表示 . . show_userpred_name+ . . . isnewpred~ . spyswitch+ スパイフラグ設定(%s) . . isspy. . . allspy+ . . . nospyfun+ . . . spyfun+ . . spychange+ . stepswitch+ ステップトレースモード設定 . traceswitch+ ノーマルトレースモード設定 [check_recursion]-------------------------- プログラムの静的解析 . calc_component+ 成分の計算 . . calc_all_var . . . recalc_voccurrence . . . . decrement_vacuous+ . . . . . vdecrement+ . . . . recalc_voccur_sub+ . . . . reset_voccurrence+ . . component_checked. . . set_body_component . . . merge_component . . . . cmp_label. . . set_head_component . . . add_component_pst . . . add_label . . . . cmp_label~ . . . merge_component~ . check_all_unit . . check_unitpred . . . recursivefun+ . rec_to_finite . . finitefun. . . is_body_finite . . isfinite+ . reset_component+ . . vlink . . . int+ . . vcomponent. [tunify]----------------------------------- 単一化 . safe_unify safe_unificationメインルーチン . . atomic_equal . . . fabs+ . . ocheck+ . . pst_unify PSTの単一化ルーチン . . . record_pstobjects . . . . record_pstlists . . . . Npst_item+ . . . . . cnew . . . . . . challoc . . . remove_pstitem . . . unify_merge_psts+ . . . unify_pstlist_objects+ . . . . record_pstlists~ . . unify_pst_extract . . . record_pstobjects~ . unify unsafe unificationルーチン . . atomic_equal~ . . pst_unify~ . . unify_pst_extract~ [startmodular]----------------------------------- 制約解消系エントリ . abandon_transformation 制約解消失敗(全新述語消去） . . index_newflist . . . in_sheap. . . . up_itrace_clause+ . . . . [variant] . . reducedfun+ . add_to_set+ 新述語をシステムに登録 . . index_newflist~ . . add_cs_to_set . . . [variant] . . . add_set . . . . setconcat+ . clear_up_DEF 不要な定義節消去 . . remove_from_CSTR . end_unfoldfold+ 制約解消系後処理 . . recalc_component+ . . . is_component_not_checked+ . foldunfold+ fold/unfold変換エントリ . . P_status+ . . . P_csnumber+ . . . Pcset_cstr+ . . . . cs_status_type. . . . Pcset_def+ . . . . tprint3+ . . . . cs_status_type~ . . set_temporal_def . . step_asking+ 制約変換ステップトレース処理 . . . [apply] . . . nth_cset+ . . . nth_literal+ . . . quit_transformation+ . . . reorder_clause+ . . . skip_cr+ . . check_INITDEF+ . . is_modular_head+ . . . vheadoccurrence. . . unfold_cstr+ 非モジュラー節展開 . . . [apply] . . . [target_literal] . . . from_to+ . . . insert_cs+ . . . reorder. . . unfold_derivation+ 新述語導入節展開 . . . [apply] . . . [target_literal] . . . literalnumber~ . . . reorder~ . modular_form 制約のモジュラー形 . . satisfiable 制約のsatisfiabilityチェック . . . [refute] . . split+ 変数の共有関係で制約を分割 . . . vconstraint. . . . attach+ . . . . is_modular_literal~ . . . . attach_arg+ . . . . . novar . . . . . replace_terms+ . . . . has_no_var+ . . . . . novar~ . . . divide_consts . . . . has_no_pst+ . . . delete_constraint+ . . . remove_modular_literals+ . . . . is_modular_literal~ . . surface_copy_clause+ . . Pcmp+ . . new_constraint+ 新述語による制約 . . . try_fold+ fold変換 . . . . match+ . . . . . match_term+ . . . . termnumber . . . variant_v+ . . . . Pvariant+ . . . new_pred_set+ . . . . newpred+ . . . . set_new_def+ . . . . vpair_length+ . . . variables+ . . set_const_pst+ . init_unfoldfold+ 制約解消系前処理 [apply]---------------------------- 制約の展開 . [system_function] 組み込み述語処理 . Newnode . . init_set~ . system_pred . isfunc. . reduce_clause 節の簡約(定義が一つの述語を展開する) . . reduce_clause_m+ . . . [tunify] . . . [system_function] . . . Neclause . . . one_def_literal+ 定義が一つの述語かチェック . apply_add_clause 節のコピー . . [termset] . . up_eclause . . . [termset] . . satisfiable~ . . add_clause+ . . . recalc_voccurrence~ . . . Ncset . extend_apply+ 展開 . . [tunify] . . eclause_conc. [target_literal]--------------------------- 展開するリテラルの選択 . Penergy+ 活性度表示 . energy 活性度の計算 . . isconst . . voccurrence. . . isallunit+ . greater_term 項の比較 . . greater_arg . . . cmp_clause+ . . . cmp_cplxt+ . . . cmp_flt+ . . . cmp_fp+ . . . cmp_int+ . . . cmp_list+ . . . cmp_var . . . cmp_pst+ . . . cmp_str+ . . . arg_type+ [system_function]---------------------------- 組み込み述語処理 . equalpred . . [tunify] . stay_pred+ . attach_pred+ . . transform . . . [startmodular] . . . eclause_append+ . . convert_list_to_clause . strcmp_pred+ . substr_pred+ . divstr_pred+ . . Nnum_val . . firsthalf+ . compare_pred+ . timer_pred+ . . Nnum_val~ . . times~ . reset_timer_pred+ . . times~ . default_pred+ . . pst_add_unify+ . . . pst_add_unify_sub+ . . . . record_pstlists~ . . . record_pstobjects~ . . . remove_pstitem~ . . subsume . . . subsume_pst+ . . . . subsume_pstlist+ . abomb_pred+ . halt_pred+ . isop_pred+ . . [tunify] . . Nnum_val~ . not_pred+ . . [refute] . op_pred+ . . index_op . pnames_pred+ . pvalue_pred+ . type_pred+ . unbreak_pred+ . cname_pred+ . . cnlistmake+ . . pickname+ . . . termname+ . tree_pred+ . . Ptree+ . . . treeprint+ . . . . PCat . . . . . Psubcat+ . . . . . null_or_nil+ . . . . oldlink+ . abolish_pred+ . . clear_predicate+ . arg_pred+ . assert_pred+ . . general_assert . . . [termset] . . . list_to_clause+ . . . . [termset] . assertz_pred+ . . general_assert~ . clause_pred+ . . [tunify] . . tolist . close_pred+ . . filep_value. . cunify_pred+ . . cu+ . . . [startmodular] . . . [termset] . . . vnumber. . eq_pred+ . . eq_pred_sub+ . equal_pred+ . functor_pred+ . . make_func+ . . match_func+ . . . [tunify] . makelist_pred+ . . Llevel+ . . LtoP+ . . PtoL+ . memb_pred+ . . [tunify] . name_pred+ . . alldigit+ . . . isdigit . . . numeric+ . . CtoL . . LtoC . nl_pred+ . . filep_value~ . open_pred+ . . file_open_pred . or_pred+ . . init_set~ . . convert_list_to_clause~ . pcon_pred+ . read_pred+ . . check . . filep_value~ . . is_readable+ . retract_pred+ . . [tunify] . . tolist~ . . is_unitclause. . see_pred+ . . file_open_pred~ . seen_pred+ . tab_pred+ . . filep_value~ . tell_pred+ . . file_open_pred~ . told_pred+ . var_pred+ . write_pred+ . . filep_value~ . concat2_pred+ . . CtoL~ . . LtoC~ . concat_pred+ . . app_str+ . . diff_str+ . count_pred+ . . Nnum_val~ . gensym_pred+ . geq_pred+ . . numcomp_pred . greater_pred+ . . numcomp_pred~ . leq_pred+ . . numcomp_pred~ . less_pred+ . . numcomp_pred~ . multiply_pred+ . . calc_pred . . . calc_1+ . . . calc_2+ . strlen_pred+ . . Nnum_val~ . . substring+ . sum_pred+ . . calc_pred~ [termset]--------------------- 項のコピー(環境付き） . isconst_functor. 変数を含まない複合項 . check_constant_term+ 項が変数を含むかチェックする . . isconst~ . push_log+ . search_log+ . up_atomic . . in_upper_heap . . . in_cheap+ . . . in_sheap~ . up_const_functor . . in_upper_heap~ . . up_const+ . up_pst+ . . push_pstlog+ . . termset_pstobj+ . . . [termset] . . . Npstobj . . termset_pstobj_sub+ . . . [termset] . . . Npstobj~ . . search_pstlog+ [variant]----------------------------------- 項のコピー(環境なし） . copy_clause . . copy_term . . . Npstobj~ . . . in_sheap~ . . . copy_arg+ . . . . has_common_label . . . . store_vpair . . . exist_termpair. . . . exist_vpair. . . . copy_pst+ . . . . Npst . . . . store_vpair~ . . . . copy_eclause+ . . . store_termpair . . . var_trans+ . . . . store_vpair~ ===========subroutines========= . termsetの初期設定 termsetの後処理 var構造体セット name string heap(nheap[])へのalloc . alloc . sizeof. 文字列セット 数値セット . atof+ 節のモジュラー性判定 CAHCセット 述語をハッシュテーブルに登録 . pred_compare+ ハッシュテーブルから述語を検索 . predname/number --> predname + name に分解 述語名がすでに登録されているかチェック アトムかどうか . ユーザ定義述語かどうか . 再帰述語かどうか 数値かどうか ファイル変数かどうか . ファイルが書き込み可能かどうか 述語が関数的かどうか . isfunc~ 述語が関数的でないか . isnonfunc+ . 述語が簡約されているか . 述語が簡約されていないか 一文字読み込み . adv CRまで読み飛ばす . tee putchar 項の表示 . init_pp. . print_pp . . Ppst_content . scanpst_term . . addpst+ . . scanpst_functor+ 項の並びの表示 . Pvar . . voccurrence~ 項の並びの表示(+制約） . Pclause_core . init_pp~ . print_pp~ . scanpst_clause 項の並び(eclause)の表示 . Peclause_core . init_pp~ . print_pp~ . scanpst_eclause horn clauseの表示 . init_pp~ . print_pp~ . scanpst_clause~ . P_hclause_sub+ 新述語導入節の表示 . Pclause_core~ . init_pp~ . print_pp~ . scanpst_clause~ CAHCの表示 . Pcahc_core . init_pp~ . print_pp~ . scanpst_clause~ 述語定義の表示 ゴールの表示 . Peclause_core~ . init_pp~ . print_pp~ . scanpst_clause~ . scanpst_eclause~ . . . . . 述語探索(ない場合には新規登録） . 述語名 user heapへのalloc . alloc~ func構造体のセット . funcalloc+ term構造体のセット . Termalloc+ . mediterm+ . tempterm+ tee print (no argument) . 項の引数 deref . is_voidvar+ . 項がPSTかどうか system heapへのalloc . salloc clause構造体のセット 各ヒープへのalloc . 述語の引数成分 項の第1引数 項の第2引数 user stackのrestore . heap+ . 項がclauseかどうか . 項が複合項かどうか . 項の述語 . リストのcar . リストのcdr 項がintegerかどうか . 項がリストかどうか . 数値の値 list構造体のalloc pst構造を検索 user stackにpush エラーメッセージ表示 . freeheap~ . garbagecollect~ 一文字読み込み . feof+ . ferror+ . 項がatomかどうか 項が文字列かどうか . 文字列の値 . 項が変数かどうか . 組み込み述語かどうか tee print (1 argument) tee print (2 arguments) . 変数名 項の読み込み . Rterm_half+ . . check~ . . skip+ . . Rlist+ . . . notconst_list+ . . Rpst+ . . . insert_pstobj+ . . isconst~ . . notconst . . Nfile+ . . op_search . . varsearch+ . . Rtoken . . . bracket+ . . . is_varname+ . . . isdigit~ . . . isxdigit . . . read_comments+ . . . read_digits+ . . . read_hexa+ . . . read_spechar+ . . . specialchar . . prefix_is_atom+ . . . is_term_end+ . Rterm_leftover+ . . isconst~ . . notconst~ . . op_search~ . . Rtoken~ . PST変数の番号付け替え 変数環境alloc . ealloc+ 項の表示 . Peclause_core~ . Pfunctor+ . . quote_needed+ . . . is_lower+ . . . alphabet+ . Ppst+ . . pp_number. . . Ppst_content~ . . Ppst_content2+ . Pvar~ . ===========not called========= (). (NL) (STB) (tprint4) (disp_func_def) (mark_component_checked_all) . set_all_body_component+ (NEW) . sizeof~ (index_funclist) (DEBUG) . Pcahc_core~ . Pclause_core~ . Peclause_core~ . init_pp~ . print_pp~ . scanpst_clause~ . scanpst_eclause~ . scanpst_term~ (P_var) . Pclause_core~ (showvar) (alpha) (delimitchar) (quotesign) (white) (is_root) . Trace_False~ . Trace_Goal~ . Trace_True~ . extend~ . Psolution+ . on_interrupt_refute+ . proceed_node~ (Pvpair) (sort_clause) . insert_clause+ (merge_pst_objects) . env+ . safe_unify~ . unify~ ◎cu-Prolog第三版 関数インデックス 関数名によりソートされている。 タイプ 関数名 モジュール名 #define ARG_EQ #define ARG_FALSE #define ARG_TRUE #define ATOMIC_TYPE #define Arg(T,N) #define Arg1(T) #define Arg2(T) #define Arg3(T) #define BACKTRACK #define BL #define BL #define BL #define BR #define BR #define BR #define BRACKET #define CATMAX #define CHEAP_SIZE #define CLAUSE_TYPE #define CM #define CM #define CM #define CO #define CO #define CO #define COMMA #define COMPONENT_CHECKED #define CONSTANT_TERM #define CONST_LIST_TYPE #define CONST_MARK #define COPYRIGHT #define CPUTIME #define CT #define CT #define CT #define CTnormal #define CTnotrace #define CTstep #define C_BLINK #define C_CLS #define C_HIGHLIGHT #define C_LOAD #define C_NORMAL #define C_REVERSE #define C_SAVE #define C_UNDER #define CatSet #define CatSingle #define CnstMax #define Component(F,N) struct_term* CtoL(nbuf,flag) #define DEBUG #define DEBUG #define DEBUG #define DEBUG #define DEBUG #define DERIVATION #define DOWN #define DUMMY_DEF #define Def1(F,N,A,P) #define Def1Red(F,N,A,P) #define Def2(F,N,A,P) #define Def2Red(F,N,A,P) #define Defatom(T,N) #define Deftemp(F,N,A) #define ECLAUSE_TYPE #define ESP_SIZE #define ETERNAL #define EXTRACT #define FALSE #define FALSE_REGISTERED #define FILE_POINTER #define FILE_TYPE #define FINITEFUN #define FLOAT_NUM #define FLT_EPSILON #define FROM_CONC #define FROM_CONC #define FROM_NAME #define FROM_NAME #define FULLSTOP #define FX #define FY #define HASH_SIZE #define HEAP_SIZE #define INFIX #define INPUT #define INT_NUM #define Is_Leap #define Is_Modular #define Is_Msolvable #define Is_Normaltrace #define Is_Notrace #define Is_Steptrace #define Is_Trace #define Is_ctnormal #define Is_ctnotrace #define Is_ctstep #define KEYIN #define LC #define LC #define LC #define LIST_TYPE #define Leap_mode int Llevel(t,e,nv) void LtoC(t,e,pos,flag) void LtoP(t,e,tt,depth) #define MAIN #define MEDIUM #define MEMORY_ALLOC(X,Y,F) #define MODULAR_DEFINED #define Modmax_def #define Modular_mode #define Msolvable_mode #define N #define N #define N #define NAME #define NAME_MAX #define NAME_SIZE #define NEW #define NEWPRED #define NL #define NOEXTRACT #define NONFUNC #define NON_UNFOLDABLE #define NOREDUCED_CLAUSE #define NOT_CONSTANT_TERM #define NUMBER struct_clause* Nclause(head,body,flag) struct_cset* Ncset(flag) struct_eclause* Neclause(val,env,tail,flag) struct_pair* Nenv(n) struct_node* Newnode(goal,icons,env,nlink,nlast) struct_term* Nfile(x) struct_func* Nfunc(ftype,n,a) struct_clause* Nlist(head,body,flag) struct_term* Nnum(nbuf,flag) struct_term* Nnum_val(x,flag) #define Normal #define Normaltrace_mode #define Notrace_mode struct_pst* Npst(flag) struct_term* Npst_item(p,pobj,next) #define Npstobj(Head,Env,Tail,Flag) #define Npstobj(Head,Env,Tail,Flag) #define Npstobj(Head,Env,Tail,Flag) struct_term* Nstr(x,flag) struct_term* Nterm(n,flag) struct_term* Nvar(nbuf,flag) #define OUTPUT void PCat(t,e,f) #define POSTFIX #define PRED_IN_LINE #define PREFIX #define PST_ITEM_TYPE #define PST_TYPE void P_csnumber(cs,mode) void P_dclause(cl,e) void P_hclause(cl,e) void P_hclause_sub(cl,e) void P_status() void P_var(vlist) int Panswer(root,vlist) void Pbinding(vlist,env) void Pcahc_core(c,cst,e) void Pclause(c,e) void Pclause_core(c,e) void Pcmp(cmp) void Pcset_cstr(cs) void Pcset_def(cs) void Peclause(ec) void Peclause_core(ec,d) void Penergy(cl) void Pfunctor(t,e,d) void Pgoal(n) void Ppst(t,e,d) void Ppst_content(ptt,d) void Ppst_content2(ptt,env,d) #define Pred(T) struct_func* Predicate(fname,arity) #define Predname(T) void Psequence(t,e,d) void Psubcat(t,e) void Pterm(t,e) void Pterm_core(t,e,d) struct_clause* PtoL(t) void Ptree(t,e) void Pvar(t,n) void Pvariant(va) void Pvpair(va) #define Q #define Q #define Q #define REDUCEDFUN #define REDUCED_DEF #define REFMAX #define REGISTERED #define REMOVED struct_term* Rlist(flag) struct_term* Rpst(flag) struct_term* Rterm(n,flag) struct_term* Rterm_half(n,flag,m) struct_term* Rterm_leftover(n,m,flag,t) int Rtoken() #define SAFE #define SG #define SG #define SG #define SHEAP_SIZE #define SP #define SP #define SP #define SPECIFIED #define SPYFUN #define STAY_IF #define STAY_IF_FALSE_PRED #define STAY_IF_TRUE_PRED #define STB(F) #define STE #define STINGY #define STRING #define SUSPEND #define SYSFAIL #define SYSFUN #define SYSNO #define SYSPRED #define SYSTRUE void Showfunc(f) void Showhorn(c,cst,e) void Shownewfunc() #define Steptrace_mode #define TB #define TE #define TEMPFUN #define TEMPORAL #define TEMPORAL_DEFINED #define TNTB #define TNTE #define TREEMAX #define TRUE #define TSTB #define TSTE #define TTB #define TTE #define TYPE1SYS #define TYPE1SYS_REDUCED #define TYPE2SYS #define TYPE2SYS_REDUCED #define Termalloc(a) #define Termalloc(a) void Trace_Answer(root) void Trace_False(n) void Trace_False2(n) int Trace_Goal(n) void Trace_True(n) void Trace_True2(n) void Trace_Unification(n,s) #define UC #define UC #define UC #define UL #define UL #define UL #define UNIT_DEFINED #define UNSAFE #define UNTOUCHED #define UP #define USERFUN #define USTACK_SIZE #define VACUITY_NOCHECK #define VARNAME #define VAR_GLOBAL_TYPE #define VAR_PST_TYPE #define VAR_VOID_TYPE #define VERSION #define VMAX #define XF #define XFX #define XFY #define YF #define YFX void abandon_transformation() int abolish_pred(t,e) int abomb_pred(t,e) void add_clause(c,vlist,anum) void add_component_pst(f,a,ec) void add_cs_to_set(cs,flag) void add_label(f,a,l,flag) void add_set(s,flag) void add_to_set() void addpst(t,e) void adv() #define advance int alldigit(c) int* alloc(n) void allspy(n) #define alpha #define alphabet(CH) int app_str(x,y,z,ez) int apply(target,head,rest,anum) int apply_add_clause(head,e0,ec) int arg_pred(t,e) int arg_type(a) int assert_pred(t,e) int assertz_pred(t,e) #define atomic_equal(u,t) void attach(c,vl,anum) void attach_arg(arg,c,vl) int attach_pred(t,e,n,m,status) struct_node* backtrack_node(n) #define bracket(C) int calc_1(x,y,z,e,op) int calc_2(x,z,y,e,op) void calc_all_var(f) void calc_component() int calc_pred(t,e,op) int* challoc(n) int check(c) int check_INITDEF() void check_all_unit(fl) void check_constant_term(t) int check_modularity(cst) void check_recursion() void check_unitpred(f) int clause_pred(t,e,n,status) void clear_predicate(f) void clear_up_DEF() int close_pred(t,e) int cmp_clause(a1,a2) int cmp_cplxt(a1,a2) int cmp_flt(a1,a2) int cmp_fp(a1,a2) int cmp_int(a1,a2) int cmp_label(l1,l2) int cmp_list(a1,a2) int cmp_pst(a1,a2) int cmp_str(a1,a2) int cmp_var(a1,a2) int cname_pred(t,e,nn) #define cnew(s) struct_term* cnlistmake(n) int compare_pred(t,e) #define component_checked(F) #define component_not_checked(F) struct_clause* compress_clause(cst) int concat2_pred(t,e) int concat_pred(t,e,n,status) struct_clause* convert_list_to_clause(t,e,tt,ee,p,emsg) struct_term* copy_arg(t,i,flag) struct_clause* copy_clause(cl,flag) struct_term* copy_pst(pt,flag) struct_term* copy_term(t,flag) int count_pred(t,e) int cs_status_type(st) int cu(t,e) int cunify_pred(t,e) int cut_pred(t,e,n) int decode_pname(fname) void decrement_vacuous(t) int default_pred(t,e) void defclause() void defnewfunc() void defsyspred() void delete_constraint(vl) void delete_tmp() #define delimitchar(C) int diff_str(x,z,y,e,first) void disp_func_def(f_from,f_to) void divide_consts(cl) int divstr_pred(t,e) #define down(p,t,e) struct_pair* ealloc(n) struct_eclause* eclause_append(head,tail) struct_eclause* eclause_conc(ec1,ec2) void edit_predicate() void end_unfoldfold() int energy(tm) struct_pair* env(t,e) int eq_pred(t,e) int eq_pred_sub(x,y,ex,ey) int equal_pred(t,e) int equalpred(t1,e1,t2,e2) void error(s) void error_detail(t,e,s) struct_func* exist_fname(fname) struct_term* exist_termpair(t) struct_term* exist_vpair(t) struct_node* extend(n,status) int extend_apply(target,head,rest,e0,f,s) int fail_pred(t,e) int file_open_pred(t,e,openmode) #define filep_value(Term) void filewrite(n) struct_pst_item* find_pstitem(t,e) #define finitefun(F) int firsthalf(h,w) int foldunfold() void freeheap() struct_cset* from_to(s1,s2) #define funcalloc(a) #define funcalloc(a) struct_func* funcsearch(fname,arity) int functor_pred(t,e) void garbagecollect() void general_assert(t,e,flag) int gensym_pred(t,e) int geq_pred(t,e) int greater_arg(a1,a2) int greater_pred(t,e) int greater_term(t1,t2) int halt_pred(t,e) int has_common_label(ec,cm) int has_no_pst(t) int has_no_var(t) int hash(fname) int have_nextgoal(n) #define head_of_list(Term) void helpmenu() #define in_cheap(X) #define in_sheap(X) #define in_upper_heap(X,Y) void index_func(fnew) void index_funclist(flist) struct_itrace* index_newflist(fl,it) void index_op(f,type,prec) void index_set(chead,con,flag) void init_atoms() void init_category() void init_froles() void init_heap_max() void init_operator() void init_pp() struct_set* init_set(n) void init_status() void init_syspred() void init_system_component(f,a) void init_unfoldfold() struct_clause* insert_clause(ct,cl) void insert_cs(cs,newcs) struct_eclause* insert_pstobj(val,tail,flag) #define is_atomic(Term) int is_body_finite(f) #define is_clause(Term) #define is_component_checked(F) #define is_component_not_checked(F) #define is_dead(n) #define is_eclause(Term) #define is_file(Term) #define is_funcsys(F) #define is_functor(Term) #define is_int(Term) #define is_list(Term) #define is_lower(CH) int is_modular_clause(cl) int is_modular_head(t) int is_modular_literal(t) #define is_nofuncsys(F) #define is_num(Term) #define is_pst(Term) #define is_pstitem(Term) #define is_readable(FP) #define is_root(n) #define is_string(Term) int is_term_end(c) #define is_tip(n) #define is_unitclause(Set) #define is_varname(X) #define is_voidvar(t) #define is_writable(FP) #define isallunit(F) #define isatom(Term) #define isconst(Term) #define isconst_functor(Term) #define isconst_list(L) #define isdigit(X) #define isfinite(F) #define isfunc(F) #define isnewpred(F) #define isnonfunc(F) #define isnoreduced(F) #define isnospy(F) #define isnotnewpred(F) int isop_pred(t,e,n,status) #define isrecursive(F) #define isreduced(F) #define isspy(F) #define issystem(F) #define isuser(F) #define isvar(t) #define isxdigit(X) #define kanzi(CH) #define kanzi(CH) int keyread(a) int leq_pred(t,e) int less_pred(t,e) void list_to_cat(t0,n) struct_clause* list_to_clause(t,e) int literalnumber(c) void loghandle(fname) void main(argc,argv) int make_func(f,a,t,e) int makelist_pred(t,e) void mark_component_checked_all() int match(clo,clt,e) int match_func(t,e,f,ef,a,ea) void match_term(t1,t2,e) #define mediterm(a) #define mediterm(a) int memb_pred(t,e,n,status) struct_component* merge_component(ca,cb,flag) struct_eclause* merge_pst_objects(target,e,object,f,safeflag) void modular(c,vlist,anum) struct_clause* modular_form(clist,vlist,anum) int multiply_pred(t,e) char* nalloc(n,flag) int name_pred(t,e) #define new(s) struct_clause* new_constraint(cmp) struct_clause* new_pred_set(cc) #define newpred(F) void next() struct_node* next_goal(m,oldnode,btnode) int nl_pred(t,e) #define nospyfun(F) int not_pred(t,e) #define notconst(Term) #define notconst_list(L) #define novar(Term) struct_cset* nth_cset(n) struct_clause* nth_literal(cl,n) int null_or_nil(t,e) #define num_value(Term) int numcomp_pred(t,e,op) #define numeric(X) void ocheck(p,t,e) void oldlink(n) void on_interrupt() struct_set* one_def_literal(f) int op_pred(t,e) struct_operator* op_search(fname,otype) int open_pred(t,e) void open_title() int or_pred(t,e,n,m,status) void oscommand() int pcon_pred(t,e,n) int pickname(t,e) int pnames_pred(t,e) int pp_number(ec) int pred_compare(f1,f2) int prefix_is_atom(m) void prepare() void preprocess_all_unit(fl,flag) void preprocess_constr_sub(flag) void preprocess_constraints(fn) void preprocess_unit(f,flag) void print_ancestors(n) void print_constant() void print_hash_table() void print_pp(d) void printtime() void printtime() void printtime() struct_node* proceed_node(n,btnode) void prolog_execution() void pst_add_unify(t,e,u,f) void pst_add_unify_sub(entry,ol,e) void pst_unify(t,e,u,f,safeflag) void push_log(oldt,oldenv,newt) void push_pstlog(oldt,oldenv,newt) void putcursor() int pvalue_pred(t,e) void quit_prolog() void quit_transformation() int quote_needed(f) #define quotesign void read_comments() void read_digits(i) void read_hexa(i) int read_pred(t,e) void read_spechar(i) void readfile() #define readword(S) void rec_to_finite() void recalc_component() void recalc_voccur_sub(t,v) void recalc_voccurrence(cl,v) struct_eclause* record_pstlists(ptt,e) struct_pst_item* record_pstobjects(t,e) #define recursivefun(F) struct_eclause* reduce_clause(cl,e) struct_eclause* reduce_clause_m(cl,e) struct_clause* reduce_cstr(cst,vlist,anum,env) struct_clause* reduce_substitute(cst,e) #define reducedfun(F) int refute(Root,n,Status) void remove_from_CSTR(f) struct_clause* remove_modular_literals(cl) struct_pst_item* remove_pstitem(t,e) void rename_var_names(v) void renum_pvars(pvs,vnum) struct_clause* reorder(cl,tc) void reorder_clause(cl,tc) void replace_terms(c1,c2,vl) void reset_component() int reset_timer_pred(t,e) void reset_voccurrence(v) int resolve(n0,n,sliteral,env) int retract_pred(t,e,n,status) void safe_unify(t,e,u,f,extflag) int* salloc(n) int satisfiable(cl,anum) void scanpst_clause(t,e) void scanpst_eclause(ec) void scanpst_functor(t,e) void scanpst_term(t,e) struct_term* search_log(t,e) struct_term* search_pstlog(t,e) int see_pred(t,e) int seen_pred(t,e) void set_body_component(ff) void set_category() void set_eof() void set_head_component(f) void set_inputfile(n) void set_new_def(c,vl,anum) void set_temporal_def(f) struct_set* setconcat(slist,s) void settimer() void settimer() void settimer() void show_category() void show_heap_max() void show_newdefs() void show_pred_def(f) void show_pred_roles(f) void show_syspred_name() void show_syspred_status(f) void show_userpred_name() void showdef(fname) void showvar(v) int skip(c) void skip_cr() #define skipline #define snew(s) struct_clause* sort_clause(cl) #define specialchar(C) struct_compartment* split(clist,vlist,anum) #define spychange(F) #define spyfun(F) void spyswitch(fname) struct_clause* startmodular(clist,vlist,anum) int stay_pred(t,e) int step_asking() void stepswitch() void store_termpair(told,tnew) void store_vpair(told,tnew) #define str_value(Term) int strcmp_pred(t,e) #define streq(p,q) int strlen_pred(t,e) int substr_pred(t,e) int subsume(t,e,u,f,flag) int subsume_pst(t,e,u,f,flag) int subsume_pstlist(x,y,e,flag) int sum_pred(t,e) struct_clause* surface_copy_clause(cl,flag) int system_function(t,e,n) int system_pred(t,e,n,m,status) void systemcommand(c) int tab_pred(t,e) #define tail_of_list(Term) struct_clause* target_literal(cl) struct_clause* target_literal(cl) int tell_pred(t,e) #define tempterm(a) #define tempterm(a) char* termname(t,e) int termnumber(t) struct_term* termset(t,e,flag) struct_eclause* termset_pstobj(pobj,flag) struct_eclause* termset_pstobj_sub(pobj,e,flag) int timer_pred(t,e) int told_pred(t,e) struct_term* tolist(c,flag) #define tprint0(X) #define tprint1(X,V) #define tprint2(X,V1,V2) #define tprint3(X,V1,V2,V3) #define tprint4(X,V1,V2,V3,V4) #define tputc(X) void traceswitch() void trans_routine() struct_eclause* transform(precond,newc,newenv) int tree_pred(t,e) void treeprint(t,e,n) int true_pred(t,e,n,status) void truncate_varname(n,nbuf) struct_term* try_fold(c,n) int tunify(t,e,u,f,flag) int type_pred(t,e) int unbreak_pred(t,e) void undo(u) void unfold_cstr(cs) void unfold_derivation(cs) void unify(t,e,u,f) void unify_merge_psts(target,object,safeflag) void unify_pst_extract(t,e,u,f) void unify_pstlist_objects(entry,ol,e,safeflag) struct_term* up_atomic(t,flag) struct_term* up_const(t,flag) struct_term* up_const_functor(t,flag) struct_clause* up_eclause(ec,flag) void up_init() struct_clause* up_itrace_clause(cl,anum) struct_term* up_pst(pt,e,flag) void up_restore() void upush(p) #define userfun(F) int var_pred(t,e) struct_term* var_trans(v,flag) struct_variant* variant(cl,flag) struct_variant* variant_v(cl,flag) struct_term* varsearch(varname) #define vcomponent(t) #define vconstraint(t) #define vdecrement(t) #define vheadoccurrence(t) #define vincrement(t) #define vlink(t) #define vname(t) #define vnumber(t) #define voccurrence(t) int vpair_length(vp) #define white int write_pred(t,e) void writenewfunc() --------end----------