Searched refs:AtomGoalExpansion (Results 1 – 3 of 3) sorted by relevance
127 AtomGoalExpansion = Yap_LookupAtom("goal_expansion");379 FunctorGoalExpansion = Yap_MkFunctor(AtomGoalExpansion,3);
127 AtomGoalExpansion = AtomAdjust(AtomGoalExpansion);
250 #define AtomGoalExpansion Yap_heap_regs->AtomGoalExpansion_ macro