Lines Matching refs:func
429 func(D) functor did for functor D 1
477 instr(get_structure(a(A),D,ref(L)), 16, [a(A),func(D),ref(L)]).
484 instr(in_get_structure(a(A),D,ref(L)), 23, [a(A),func(D),ref(L)]).
491 instr(out_get_structure(a(A),D), 30, [a(A),func(D)]).
522 instr(write_did(C), 61, [func(C)]).
528 instr(write_structure(D), 66, [func(D)]).
533 instr(read_structure(D,ref(L)), 71, [func(D),ref(L)]).
534 instr(read_structure(D,t(X),ref(L)), 72, [func(D),t(X),ref(L)]).
535 instr(read_next_structure(D,t(X),ref(L)),73, [func(D),t(X),ref(L)]).
536 instr(read_last_structure(D,ref(L)), 74, [func(D),ref(L)]).
569 instr(put_structure(a(A),D), 107, [a(A),func(D)]).
581 instr(puts_structure(D), 119, [func(D)]).
879 instr(write_first_structure(D), 380, [func(D)]).
881 instr(write_next_structure(D,t(X)), 382, [func(D),t(X)]).
884 384, [func(D),t(X),ref(L)]).
890 instr(write_did2(C1,C2), 390, [func(C1),func(C2)]).
892 instr(write_atomdid(C1,C2), 390, [atom(C1),func(C2)]). %=write_did2
893 instr(write_didatom(C1,C2), 390, [func(C1),atom(C2)]). %=write_did2
895 instr(write_integerdid(C1,C2), 392, [i(C1),func(C2)]).
897 instr(write_didinteger(C1,C2), 393, [func(C1),i(C2)]).
1143 asm_arg(func(N/A), _H, IList0, IList, TList0, TList, BList0, BList) ?-
1588 disasm_arg(func(Pred), [D|Ws1], Ws, _, _, Pos0, Pos) ?-