Lines Matching refs:tag
62 p_nonground2(value val, type tag, value vvar, type tvar),
274 result.tag.kernel = TLIST;
276 result.tag.kernel = TNIL;
277 Return_Unify_Pw(result.val, result.tag, vres, tres);
291 Return_Unify_Pw(v,t,result.val,result.tag);
333 result.tag.kernel = TNIL;
339 result.tag.kernel = TLIST;
341 result.tag.kernel = TNIL;
355 Return_Unify_Pw(result.val, result.tag, vres, tres);
388 result.tag.kernel = TLIST;
390 result.tag.kernel = TNIL;
391 Return_Unify_Pw(result.val, result.tag, vres, tres);
421 (pw+1)->tag.kernel = TLIST;
424 (pw+1)->tag.kernel = TNIL;
464 result.tag.kernel = TNIL;
477 Return_Unify_Pw(result.val, result.tag, vres, tres);
500 Remember(2, result.val, result.tag);
501 Return_Unify_Pw(vres, tres, result.val, result.tag);
555 switch (TagType(tg->tag))
621 Request_Unify_Pw(vgoal, tgoal, susp[SUSP_GOAL].val, susp[SUSP_GOAL].tag)
622 Request_Unify_Pw(vmod, tmod, susp[SUSP_MODULE].val, susp[SUSP_MODULE].tag)
638 result.tag.kernel = TNIL;
643 Get_Suspension((vSusps.ptr)->val, (vSusps.ptr)->tag, susp);
654 tSusps = list->tag;
656 if (IsNil(result.tag)) { /* no suspensions found */
662 Request_Unify_Pw(vLink, tLink, where->val, where->tag);
663 Request_Unify_Pw(result.val, result.tag, vGoals, tGoals);
759 p_nonground2(value val, type tag, value vvar, type tvar)
763 if (pw = ec_nonground(val, tag))
765 Return_Unify_Pw(vvar, tvar, pw->val, pw->tag);
775 * Build a list of <vars_needed> distinct variables in the term val/tag.
794 value val, type tag, /* current term */
798 pword *from, /* address of val:tag */
806 if (IsRef(tag))
812 if (IsVar(tag)) /* mark the variable */
816 val.ptr->tag.kernel = TNIL;
819 else if (IsList(tag))
824 else if (IsStructure(tag))
845 from->tag.kernel = TNIL; /* mark to prevent looping */
852 if (!ISAtomic(arg_i->tag.kernel))
854 vars_needed = _collect_vars(arg_i->val, arg_i->tag, vars_needed,
865 tag.all = from->tag.all;
926 Return_Unify_Pw(vlist, tlst, list.val, list.tag)
950 Return_Unify_Pw(vlist, tlst, list.val, list.tag)
970 Return_Unify_Pw(varr, tarr, result.val, result.tag)
998 pw->tag.kernel = RefTag(TUNIV);
1003 v.ptr->tag.kernel = TagNameField(t.kernel) | RefTag(TUNIV);
1029 if (err = _setuniv(next->val, next->tag))
1033 t.all = v.ptr->tag.all;
1042 return(_setuniv(v, v.ptr->tag)); /* needed due to Puts_named_variable */
1099 attr->tag.kernel = TREF;
1100 Bind_(va.ptr, attr->val.ptr, attr->tag.kernel);
1102 nta = attr->tag.kernel;
1126 var->tag.kernel = TCOMP;
1132 if (!NewLocation(var) && !NewValue(var->val, var->tag))
1136 var->tag.kernel = nta;
1141 if (IsVar(var->tag) || IsName(var->tag)) {
1143 Return_Unify_Pw(var->val, var->tag, va, ta);
1147 Return_Unify_Pw(vv, tv, mt->val, mt->tag);
1159 Return_Unify_Pw(vv, tv, mt->val, mt->tag);
1226 Return_Unify_Pw(va, ta, var->val, var->tag)
1249 if (IsRef(var->tag)) {
1251 } else if (IsStructure(var->tag)) {
1254 Request_Unify_Pw(va, ta, var->val, var->tag)
1268 vp.ptr->tag.kernel = RefTag(TMETA);
1282 vp.ptr->tag.all = tt.all;
1350 Return_Unify_Pw(v, t, vs.ptr[SUSP_GOAL].val, vs.ptr[SUSP_GOAL].tag);
1354 Return_Unify_Pw(v, t, vs.ptr[SUSP_MODULE].val, vs.ptr[SUSP_MODULE].tag);
1423 if (IsStructure(vs.ptr[SUSP_GOAL].tag))
1428 else if (IsList(vs.ptr[SUSP_GOAL].tag))
1435 Bip_Error(IsRef(vs.ptr[SUSP_GOAL].tag) ? INSTANTIATION_FAULT : TYPE_ERROR);
1457 if (IsList(next->tag))
1459 else if (IsRef(next->tag)) {
1479 if (!IsTag(p->tag.kernel, TSUSP)) {
1494 if (IsNil(q->tag) || q->val.ptr < GB) {
1502 if (!IsList(next->tag)) {
1539 Bind_(v.ptr, PostponedList.val.ptr, PostponedList.tag.kernel);
1551 if (IsNil(pw->tag))
1554 Bind_(v.ptr, PostponedList.val.ptr, PostponedList.tag.kernel);
1562 return ec_assign(&PostponedList, new_struct.val, new_struct.tag);
1569 Bind_(vold.ptr, pw->val.ptr, pw->tag.kernel);
1571 if (!IsNil(pw->tag)) /* reinitialise */
1575 ec_assign(pw, empty.val, empty.tag);
1587 if (!IsNil(pw->tag))
1615 return p_schedule_postponed(vattr.ptr[vpos.nint].val, vattr.ptr[vpos.nint].tag);
1629 if (IsList(next->tag))
1631 else if (IsRef(next->tag)) {
1650 while (IsList(ppp->tag))
1655 if (!IsTag(p->tag.kernel, TSUSP)) {
1677 if (!IsTag(p->tag.kernel, TSUSP)) {
1696 if (!IsList(next->tag)) {
1703 ec_assign(&PostponedList.val.ptr[2], newpp.val, newpp.tag);
1735 Check_Ref(arg->tag);
1736 Return_Bind_Var(arg->val, arg->tag, 0, TNIL);
1787 if (IsList(list2->tag)) /* find the end of list2 */
1794 if (!IsList(list2->tag))
1799 if (!IsNil(list2->tag))
1807 if (IsList(list1->tag))
1815 else if (!IsNil(list1->tag))
1843 if (IsNil(q->tag) || q->val.ptr < GB) {
1871 if (IsList(next->tag)) {
1873 } else if (IsNil(next->tag) || IsRef(next->tag)) {
1883 if (!IsTag(p->tag.kernel, TSUSP)) {
1899 if (IsTag(q->tag.kernel, TLIST)) {
1902 if (!ISPointer(last->tag.kernel)) (void) ec_panic("Illegal WL", "schedule_woken()");
1912 if (!IsRef(q->tag)) (void) ec_panic("Illegal WL", "schedule_woken()");
1923 if (IsNil(q->tag) || q->val.ptr < GB) {
1963 if (!IsList(next->tag))
1993 if (IsList(next->tag)) {
1995 } else if (IsNil(next->tag) || IsRef(next->tag)) {
2005 if (!IsTag(p->tag.kernel, TSUSP)) {
2038 if (!IsList(next->tag))
2134 Return_Unify_Pw(p->val, p->tag, v, t)
2152 p->tag.all = TDICT;
2155 p[i].tag.kernel = WL[i].tag.kernel;
2158 WLPrevious(p)->tag.all = TGCONST;
2160 WLPrevious(p)->tag.all = TNIL;
2200 if (IsList(n->tag) && (!IsList(o->tag) ||
2202 while (IsList(o->tag)) {
2218 if (IsSusp(s->tag)) {
2222 l->tag.all = TLIST;
2229 if (IsNil(n->tag)) {
2231 if (!IsNil(o->tag)) {
2244 l->tag.all = TNIL;
2245 Return_Unify_Pw(vl, tl, list->val, list->tag)