Lines Matching refs:write_table
211 write_table(Hk,Ind,index_table), addclause(Ind,(H:-T)),
213 assert(temp_head_pred(G)), write_table(FA,'0',head_table),
288 write_table(FA,'0',head_table)),
293 setval(proc(Ind),[]), write_table(Hk,Ind,index_table),
318 ; write_table(FA,'0',cut_table),
333 ; write_table(FA,'0',cut_table),
347 predicate_key(GC,GCk), write_table(GCk,IndC,index_table),
388 functor(G,F,_), not write_table(F,'0',name_table)).
402 write_table(FAXY,'0',call_table))),
411 write_table('true/0','0',symbol_table),
412 write_table('=/2','0',symbol_table),
431 write_table(FA,'0',symbol_table)),
442 not (predicate_key(G,Gk), write_table(Gk,'0',side_table),
451 not (predicate_key(G,Gk), write_table(Gk,'0',prop_table),
462 not (setval(temp,yes), write_table(FA1,'0',side_table),
473 not (setval(temp,yes), write_table(FA1,'0',prop_table),
507 ; write_table(Ak,'0',body_table),
518 concat_atom([F,'_',A],FA), write_table(FA,'0',nonrec_table))),
530 write_table(FA,'0',nonrec_table),
574 setval(proc(Ind),[]), write_table(Hk,Ind,index_table),
687 write_table(I1k,Ind,index_table), setval(proc(Ind),[]),
690 write_table(Rk,[I1,R,Ind],aux_table), transform(Ind,u,I1,R)).
769 write_table(Ffk,Ind,index_table), setval(proc(Ind),[]),
771 term_size(G,N), write_table(Sk,[Ff,G,Ind,N],defn_table),
825 write_table(FA,'0',relevant),
918 write_table(FM,'0',no_cut_arg),
922 ; write_table(FM,N,cut_arg),
924 ; write_table(FM,'0',no_cut_arg),
978 setval(temp,yes), not write_table(Pk,Ro,redarg_table)).
1087 write_table(Name,'0',name_table), N=..[Name|S].
1143 write_table writes Term to Table given key Atom.
1152 write_table(Atom,Term,Table) :-