mnemosyne_op
Functions
start_op(Type, Args) -> term()
new_end_token(N) -> term()
bindings(NextPid, BCount, Bs) -> term()
funcall(NextPid, LeftSide, FunCall, Count) -> term()
erl_expr(NextPid, Expr) -> term()
split(NextPids, Count) -> term()
table(NextPid, P) -> term()
negation(NextPid, Count, HelpPid) -> term()
negation_help() -> term()
call_recursive_op(NextPid, Goal) -> term()
add_tid(Tid, PidL, EndC, NTid, Pid) -> term()
update_endc(TidL, EndC, X3) -> term()
get_from_table(Bs, F, Sols) -> term()
split_list(N, L) -> term()