All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----kl1.lang.Module | +----kl1.lang.Module_unify_term_dcode
public final Predicate predicate_unify_2predicate_unify__pf_2
public final Predicate predicate_unify__pf_2predicate_unify__args_3
public final Predicate predicate_unify__args_3predicate_unify__goal_2
public final Predicate predicate_unify__goal_2
public Module_unify_term_dcode()
public final void init(KL1Machine mach)
public Module exec(KL1Machine mach, Goalrec qp, Predicate toppred)
All Packages Class Hierarchy This Package Previous Next Index