Searched refs:AtomMyddasGoal (Results 1 – 4 of 4) sorted by relevance
168 AtomMyddasGoal = AtomAdjust(AtomMyddasGoal);
168 AtomMyddasGoal = Yap_FullLookupAtom("$myddas_goal");
332 #define AtomMyddasGoal Yap_heap_regs->AtomMyddasGoal_ macro
2628 Yap_PutValue(AtomMyddasGoal,MkIntegerTerm(yap_init->myddas)); in YAP_Init()