arity.c:    fprintf(features,"unify: %d\n",Aunif);
arity.c:void arity_unify(u,v)
arity.c:    "unify: %s %s\n",
bi_math.c:	    success=unify_real_result(arg2,(REAL)1);
bi_math.c:	      success=unify_real_result(arg1,(REAL)1);
bi_math.c:	    push_goal(unify,arg2,arg3,NULL);
bi_math.c:	    success=unify_real_result(arg3,(REAL)0);
bi_math.c:	    success=unify_real_result(arg3,(REAL)0);
bi_math.c:	    push_goal(unify,arg1,arg3,NULL);
bi_math.c:	    success=unify_real_result(arg3,(REAL)0);
bi_math.c:	    success=unify_real_result(arg3,(REAL)0);
bi_math.c:	  success=unify_real_result(arg3,val1*val2);
bi_math.c:	      success=unify_real_result(arg1,(REAL)0);
bi_math.c:	    success=unify_real_result(arg2,val3/val1);
bi_math.c:	    success=unify_real_result(arg1,val3/val2);
bi_math.c:            success=unify_real_result(arg2,(REAL)0);
bi_math.c:              push_goal(unify,arg1,arg3,NULL);
bi_math.c:              success=unify_real_result(arg1,(REAL)0);
bi_math.c:	    success=unify_real_result(arg3,val1/val2);
bi_math.c:              push_goal(unify,arg1,arg2,NULL);
bi_math.c:              success=unify_real_result(arg1,(REAL)0);
bi_math.c:            success=unify_real_result(arg1,(REAL)0);
bi_math.c:	    success=unify_real_result(arg2,val1/val3);
bi_math.c:	    success=unify_real_result(arg1,val3*val2);
bi_math.c:              success=unify_real_result(arg1,(REAL)0);
bi_math.c:            success=unify_real_result(arg2,(REAL)0);
bi_math.c:              push_goal(unify,arg1,arg3,NULL);
bi_math.c:              success=unify_real_result(arg1,(REAL)0);
bi_math.c:	    success=unify_real_result(arg3,trunc(val1/val2));
bi_math.c:              push_goal(unify,arg1,arg2,NULL);
bi_math.c:              success=unify_real_result(arg1,(REAL)0);
bi_math.c:            success=unify_real_result(arg1,(REAL)0);
bi_math.c:	      success=unify_real_result(arg2,(REAL)1);
bi_math.c:	      success=unify_real_result(arg2,(REAL)0);
bi_math.c:		  success=unify_real_result(arg2,tmp);
bi_math.c:	      success=unify_real_result(arg1,(REAL)0);
bi_math.c:              success=unify_real_result(arg1,(REAL)0);
bi_math.c:	  success=unify_real_result(arg3,(floorflag?floor(val1):ceil(val1)));
bi_math.c:	    success=unify_real_result(arg3,sqrt(val1));
bi_math.c:	  success=unify_real_result(arg1,val3*val3);
bi_math.c:          success=unify_real_result(arg3,ans);
bi_math.c:            success=unify_real_result(arg1,ans);
bi_math.c:          success=unify_real_result(arg3,(REAL)~(long)val1);
bi_math.c:          success=unify_real_result(arg1,(REAL)~(long)val3);
bi_math.c:	    success=unify_real_result(arg3,(REAL)0);
bi_math.c:	    success=unify_real_result(arg3,(REAL)0);
bi_math.c:	  success=unify_real_result(arg3,(REAL)(((unsigned long)val1) & ((unsigned long)val2)));
bi_math.c:	  success=unify_real_result(arg3,(REAL)(((unsigned long)val1) | ((unsigned long)val2)));
bi_math.c:	  success=unify_real_result(arg3,ans);
bi_math.c:	  success=unify_real_result(arg3,(REAL)((unsigned long)val1 % (unsigned long)val2));
bi_math.c:	    success=unify_real_result(arg2,(REAL)0);
bi_math.c:	    success=unify_real_result(arg1,(REAL)0);
bi_math.c:	    push_goal(unify,arg2,arg3,NULL);
bi_math.c:	    push_goal(unify,arg1,arg3,NULL);
bi_math.c:	  success=unify_real_result(arg3,val1+val2);
bi_math.c:	    success=unify_real_result(arg1,val3/2);
bi_math.c:	  success=unify_real_result(arg2,val3-val1);
bi_math.c:	  success=unify_real_result(arg1,val3-val2);
bi_math.c:	    success=unify_real_result(arg3,val1);
bi_math.c:	    success=unify_real_result(arg1,val3);
bi_math.c:	    success=unify_real_result(arg2,(REAL)0);
bi_math.c:	    success=unify_real_result(arg3,(REAL)0);
bi_math.c:	    success=unify_real_result(arg3,val1/2);
bi_math.c:	    push_goal(unify,arg1,arg3,NULL);
bi_math.c:	  success=unify_real_result(arg3,val1-val2);
bi_math.c:	    push_goal(unify,arg1,arg2,NULL);
bi_math.c:	  success=unify_real_result(arg2,val1-val3);
bi_math.c:	  success=unify_real_result(arg1,val3+val2);
bi_math.c:	    success=unify_real_result(arg3,-val1);
bi_math.c:	    success=unify_real_result(arg1,-val3);
bi_math.c:	    success=unify_real_result(arg3,log(val1));
bi_math.c:	  success=unify_real_result(arg1,exp(val3));
bi_math.c:	  success=unify_real_result(arg3,exp(val1));
bi_math.c:	    success=unify_real_result(arg1,log(val3));
bi_sys.c:      unify_bool_result(arg1,trace);
bi_sys.c:      unify_bool_result(arg2,stepflag);
bi_sys.c:      success=unify_real_result(result,(REAL)WL_MAXINT);
bi_sys.c:  push_goal(unify,result,ans,NULL);
bi_sys.c:      success=unify_real_result(result,thetime);
bi_sys.c:      success=unify_real_result(result,thetime);
bi_sys.c:  push_goal(unify,result,psitime,NULL);
bi_sys.c:	push_goal(unify,result,t,NULL);
bi_sys.c:	  success=unify_real_result(result,value);
bi_sys.c:	push_goal(unify,result,other,NULL);
bi_type.c:  push_goal(unify,result,t,NULL);
bi_type.c:    push_goal(unify,result,t,NULL);
bi_type.c:  push_goal(unify,result,t,NULL);
bi_type.c:    unify_bool_result(result,ans);
bi_type.c:    unify_bool_result(result,ans);
bi_type.c:    unify_bool_result(result,ans);
bi_type.c:    unify_bool_result(result,ans);
bi_type.c:    unify_bool_result(result,ans);
bi_type.c:    unify_bool_result(result,ans);
bi_type.c:    unify_bool_result(result,ans);
bi_type.c:  push_goal(unify,result,other,NULL);
bi_type.c:  push_goal(unify,result,other,NULL);
built_ins.c:void unify_bool_result(t,v)
built_ins.c:  push_goal(unify,t,u,NULL);
built_ins.c:long unify_real_result(t,v)
built_ins.c:	  unify_bool_result(arg3,(val1>val2));
built_ins.c:	    unify_bool_result(arg3,TRUE);
built_ins.c:	  unify_bool_result(arg3,(val1==val2));
built_ins.c:	    success=unify_real_result(arg2,val1);
built_ins.c:	    success=unify_real_result(arg1,val2);
built_ins.c:    push_goal(unify,result,arg1,NULL);
built_ins.c:	  unify_bool_result(arg3,(val1<val2));
built_ins.c:	  unify_bool_result(arg3,(val1>=val2));
built_ins.c:	  unify_bool_result(arg3,(val1<=val2));
built_ins.c:static long unify_bool(arg)
built_ins.c:  push_goal(unify,tmp,arg,(GENERIC)NULL);
built_ins.c:	unify_bool_result(arg3,!sel);
built_ins.c:	/* push_goal(unify,tmp,arg3,NULL); */
built_ins.c:	push_goal(unify,arg2,arg3,(GENERIC)NULL);
built_ins.c:	/* push_goal(unify,tmp,arg3,NULL); */
built_ins.c:	push_goal(unify,arg1,arg3,(GENERIC)NULL);
built_ins.c:	unify_bool_result(arg1,sel);
built_ins.c:	unify_bool_result(arg2,sel);
built_ins.c:	/* push_goal(unify,tmp,arg3,NULL); */
built_ins.c:	push_goal(unify,arg1,arg3,(GENERIC)NULL);
built_ins.c:      if (!sm1) unify_bool(arg1);
built_ins.c:      if (!sm2) unify_bool(arg2);
built_ins.c:      if (!sm3) unify_bool(arg3);
built_ins.c:	unify_bool_result(arg2,!a1);
built_ins.c:	unify_bool_result(arg1,!a2);
built_ins.c:      if (!sm1) unify_bool(arg1);
built_ins.c:      if (!sm2) unify_bool(arg2);
built_ins.c:	unify_bool_result(arg3, a1^a2);
built_ins.c:	unify_bool_result(arg2, a1^a3);
built_ins.c:	unify_bool_result(arg1, a3^a2);
built_ins.c:	push_goal(unify,arg2,arg3,(GENERIC)NULL);
built_ins.c:	push_goal(unify,arg1,arg3,(GENERIC)NULL);
built_ins.c:	push_goal(unify,arg1,arg2,(GENERIC)NULL);
built_ins.c:	unify_bool_result(arg3,FALSE);
built_ins.c:	unify_bool_result(arg2,FALSE);
built_ins.c:	unify_bool_result(arg1,FALSE);
built_ins.c:      if (!sm1) unify_bool(arg1);
built_ins.c:      if (!sm2) unify_bool(arg2);
built_ins.c:      if (!sm3) unify_bool(arg3);
built_ins.c:	merge_unify(&(other->attr_list),fattr);
built_ins.c:	push_goal(unify,result,(ptr_psi_term)n->data,(GENERIC)NULL);
built_ins.c:	    unify_bool_result(arg3,FALSE);
built_ins.c:	  unify_bool_result(arg3,(val1!=val2));
built_ins.c:	    success=unify_real_result(arg2,val1);
built_ins.c:	    success=unify_real_result(arg1,val2);
built_ins.c:    push_goal(unify,result,other,NULL);
built_ins.c:    push_goal(unify,result,other,NULL);
built_ins.c:    push_goal(unify,result,other,NULL);
built_ins.c:    push_goal(unify,result,other,NULL);
built_ins.c:    push_goal(unify,result,other,NULL);
built_ins.c:  push_goal(unify,result,real_stack_psi_term(4,(REAL)gts),NULL);
built_ins.c:        push_goal(unify,result,ans_term,NULL);
built_ins.c:    push_goal(unify,queryflag,arg,NULL);
built_ins.c:            push_goal(unify,queryflag,arg2,NULL);
built_ins.c:            push_goal(unify,varflag,arg3,NULL);
built_ins.c:          push_goal(unify,t,result,NULL);
built_ins.c:	  push_goal(unify,queryflag,arg2,NULL);
built_ins.c:	  push_goal(unify,g,arg3,NULL);
built_ins.c:      push_goal(unify,t,arg1,NULL);
built_ins.c:  Find the clauses that unify with the argument in the rules.
built_ins.c:      push_goal(unify,t,arg1,NULL);
built_ins.c:      push_goal(unify,arg1,real_stack_psi_term(4,(REAL)page_width),NULL);
built_ins.c:      push_goal(unify,arg1,real_stack_psi_term(4,(REAL)print_depth),NULL);
built_ins.c:    push_goal(unify,arg3,other,NULL);
built_ins.c:	  push_goal(unify,result,arg2,NULL);
built_ins.c:          push_goal(unify,result,trueterm,NULL);
built_ins.c:      push_goal(unify,arg3,(ptr_psi_term)n->data,(GENERIC)NULL);
built_ins.c:    push_goal(unify,result,ans,NULL);
built_ins.c:    push_goal(unify,
built_ins.c:    push_goal(unify,
built_ins.c:  push_goal(unify,result,t,NULL);
built_ins.c:    merge_unify(&(result->attr_list),copy_attr_list(arg1->attr_list));
built_ins.c:	push_goal(unify,arg1,arg2,NULL);
built_ins.c:	unify_bool_result(result,TRUE);
built_ins.c:	unify_bool_result(result,FALSE);
built_ins.c:	push_goal(unify,arg1,arg2,NULL);
built_ins.c:	unify_bool_result(result,FALSE);
built_ins.c:	unify_bool_result(result,TRUE);
built_ins.c:    push_goal(unify,copy_arg1,result,NULL);
built_ins.c:    push_goal(unify,arg1,result,NULL);
built_ins.c:    push_goal(unify,arg1,result,NULL);
built_ins.c:	unify_real_result(arg1,(REAL)hack.w2.hi);
built_ins.c:	unify_real_result(arg2,(REAL)hack.w2.lo);
built_ins.c:	  unify_real_result(result,hack.d);
built_ins.c:	  unify_real_result(result,(REAL)(long)(arg1->value));
built_ins.c:	      push_goal(unify,t,arg1,NULL);
built_ins.c:        push_choice_point(unify,result,other,NULL);
built_ins.c:        push_goal(unify,result,other,NULL);
built_ins.c:        push_choice_point(unify,result,other,NULL);
built_ins.c:        push_goal(unify,result,other,NULL);
built_ins.c:  An explicit unify function that curries on its two arguments.
built_ins.c:static long c_unify_func()
built_ins.c:    push_goal(unify,arg1,result,NULL);
built_ins.c:    push_goal(unify,arg1,arg2,NULL);
built_ins.c:static long c_unify_pred()
built_ins.c:    push_goal(unify,arg1,arg2,NULL);
built_ins.c:    push_goal(unify,other,result,NULL);
built_ins.c:    push_goal(unify,copy_arg1,result,NULL);
built_ins.c:        push_goal(unify,t,result,NULL);
built_ins.c:	  unify_real_result(result,(REAL)(*((unsigned char *)arg1->value)));
built_ins.c:        unify_real_result(result,(REAL)(*((unsigned char *)arg1->type->keyword->symbol)));
built_ins.c:	    push_goal(unify,t,result,NULL);
built_ins.c:    push_goal(unify,t,result,NULL);
built_ins.c:        push_goal(unify,t,result,NULL);
built_ins.c:    push_goal(unify,arg1,result,NULL);
built_ins.c:      push_goal(unify,temp_result,result,NULL);
built_ins.c:    push_goal(unify,arg2,result,NULL);
built_ins.c:    push_goal(unify,arg2,result,NULL);
built_ins.c:      push_goal(unify,real_stack_psi_term(0,(REAL)c_result),result,NULL);
built_ins.c:      push_goal(unify,temp_result,result,NULL);
built_ins.c:      push_goal(unify,real_stack_psi_term(0,(REAL)c_result),result,NULL);
built_ins.c:    success=unify_real_result(result,(REAL)count);
built_ins.c:  push_goal(unify,result,list,NULL);
built_ins.c:  new_built_in(syntax_module,"=",predicate,c_unify_pred);
built_ins.c:  new_built_in(syntax_module,"&",function,c_unify_func);
built_ins.c:  /* UNI new_built_in(syntax_module,":",function,c_unify_func); */
error.c:/* Give error message if there is an argument which cannot unify with */
lefun.c:  push_goal(unify_noeval,funct,result,NULL);
lefun.c:        push_goal(unify,body,result,NULL);
login_122.c:int global_unify_attr(ptr_node,ptr_node);   /*  RM: Feb  9 1993  */
login_122.c:int global_unify(ptr_psi_term,ptr_psi_term);        /*  RM: Feb 11 1993  */
login_122.c:  T is the type of the goal: unify or prove.
login_122.c:  If T=unify then
login_122.c:  a and b are the terms to unify.
login_122.c:	push_goal(unify,(ptr_psi_term)(*u)->data,(ptr_psi_term)v->data,NULL);
login_122.c:	/* push_goal(unify,(*u)->data,v->data,NULL); */
login_122.c:  If L is in U Then With L->Upsi_term Do unify(Upsi_term,Vpsi_term)
login_122.c:        push_goal(unify,(*u)->data,v->data,NULL);
login_122.c:void merge_unify(u,v)
login_122.c:        push_goal(unify,u,v,NULL);
login_122.c:	push_goal(unify,u,v,NULL);
login_122.c:  U and V are the two psi-terms to unify.
login_122.c:long unify_body(long);
login_122.c:long unify_aim_noeval()
login_122.c:  return unify_body(FALSE);
login_122.c:long unify_aim()
login_122.c:  return unify_body(TRUE);
login_122.c:long unify_body(eval_flag)
login_122.c:  Traceline("unify %P with %P\n",u,v);
login_122.c:      Errorline("attempt to unify with curried function %P\n", u);
login_122.c:      Errorline("attempt to unify with curried function %P\n", v);
login_122.c:    arity_unify(u,v);
login_122.c:      return global_unify(u,v);
login_122.c:  unifying the HEAD with the GOAL before proving. It all works by pushing
login_122.c:  unify the calling argument with the current rule. If this succeeds and
login_122.c:      push_goal(unify,body,rule_body,NULL);
login_122.c:      push_goal(unify,head,rule_head,NULL);
login_122.c:    case unify:
login_122.c:      success=unify_aim();
login_122.c:    case unify_noeval:
login_122.c:      success=unify_aim_noeval();
login_134_B.c:int global_unify_attr(ptr_node,ptr_node);   /*  RM: Feb  9 1993  */
login_134_B.c:int global_unify(ptr_psi_term,ptr_psi_term);        /*  RM: Feb 11 1993  */
login_134_B.c:  T is the type of the goal: unify or prove.
login_134_B.c:  If T=unify then
login_134_B.c:  a and b are the terms to unify.
login_134_B.c:	push_goal(unify,(ptr_psi_term)(*u)->data,(ptr_psi_term)v->data,NULL);
login_134_B.c:	/* push_goal(unify,(*u)->data,v->data,NULL); */
login_134_B.c:  If L is in U Then With L->Upsi_term Do unify(Upsi_term,Vpsi_term)
login_134_B.c:        push_goal(unify,(*u)->data,v->data,NULL);
login_134_B.c:void merge_unify(u,v)
login_134_B.c:        push_goal(unify,u,v,NULL);
login_134_B.c:	push_goal(unify,u,v,NULL);
login_134_B.c:  U and V are the two psi-terms to unify.
login_134_B.c:long unify_body(long);
login_134_B.c:long unify_aim_noeval()
login_134_B.c:  return unify_body(FALSE);
login_134_B.c:long unify_aim()
login_134_B.c:  return unify_body(TRUE);
login_134_B.c:long unify_body(eval_flag)
login_134_B.c:  Traceline("unify %P with %P\n",u,v);
login_134_B.c:      Errorline("attempt to unify with curried function %P\n", u);
login_134_B.c:      Errorline("attempt to unify with curried function %P\n", v);
login_134_B.c:    arity_unify(u,v);
login_134_B.c:      return global_unify(u,v);
login_134_B.c:  unifying the HEAD with the GOAL before proving. It all works by pushing
login_134_B.c:  unify the calling argument with the current rule. If this succeeds and
login_134_B.c:      push_goal(unify,body,rule_body,NULL);
login_134_B.c:      push_goal(unify,head,rule_head,NULL);
login_134_B.c:    case unify:
login_134_B.c:      success=unify_aim();
login_134_B.c:    case unify_noeval:
login_134_B.c:      success=unify_aim_noeval();
login_134.c:int global_unify_attr(ptr_node,ptr_node);   /*  RM: Feb  9 1993  */
login_134.c:int global_unify(ptr_psi_term,ptr_psi_term);        /*  RM: Feb 11 1993  */
login_134.c:  T is the type of the goal: unify or prove.
login_134.c:  If T=unify then
login_134.c:  a and b are the terms to unify.
login_134.c:	push_goal(unify,(ptr_psi_term)(*u)->data,(ptr_psi_term)v->data,NULL);
login_134.c:	/* push_goal(unify,(*u)->data,v->data,NULL); */
login_134.c:  If L is in U Then With L->Upsi_term Do unify(Upsi_term,Vpsi_term)
login_134.c:        push_goal(unify,(*u)->data,v->data,NULL);
login_134.c:void merge_unify(u,v)
login_134.c:        push_goal(unify,u,v,NULL);
login_134.c:	push_goal(unify,u,v,NULL);
login_134.c:  U and V are the two psi-terms to unify.
login_134.c:long unify_body(long);
login_134.c:long unify_aim_noeval()
login_134.c:  return unify_body(FALSE);
login_134.c:long unify_aim()
login_134.c:  return unify_body(TRUE);
login_134.c:long unify_body(eval_flag)
login_134.c:  Traceline("unify %P with %P\n",u,v);
login_134.c:      Errorline("attempt to unify with curried function %P\n", u);
login_134.c:      Errorline("attempt to unify with curried function %P\n", v);
login_134.c:    arity_unify(u,v);
login_134.c:      return global_unify(u,v);
login_134.c:  unifying the HEAD with the GOAL before proving. It all works by pushing
login_134.c:  unify the calling argument with the current rule. If this succeeds and
login_134.c:      push_goal(unify,body,rule_body,NULL);
login_134.c:      push_goal(unify,head,rule_head,NULL);
login_134.c:    case unify:
login_134.c:      success=unify_aim();
login_134.c:    case unify_noeval:
login_134.c:      success=unify_aim_noeval();
login_134_C.c:int global_unify_attr(ptr_node,ptr_node);   /*  RM: Feb  9 1993  */
login_134_C.c:int global_unify(ptr_psi_term,ptr_psi_term);        /*  RM: Feb 11 1993  */
login_134_C.c:  T is the type of the goal: unify or prove.
login_134_C.c:  If T=unify then
login_134_C.c:  a and b are the terms to unify.
login_134_C.c:	push_goal(unify,(ptr_psi_term)(*u)->data,(ptr_psi_term)v->data,NULL);
login_134_C.c:	/* push_goal(unify,(*u)->data,v->data,NULL); */
login_134_C.c:  If L is in U Then With L->Upsi_term Do unify(Upsi_term,Vpsi_term)
login_134_C.c:        push_goal(unify,(*u)->data,v->data,NULL);
login_134_C.c:void merge_unify(u,v)
login_134_C.c:        push_goal(unify,u,v,NULL);
login_134_C.c:	push_goal(unify,u,v,NULL);
login_134_C.c:  U and V are the two psi-terms to unify.
login_134_C.c:long unify_body(long);
login_134_C.c:long unify_aim_noeval()
login_134_C.c:  return unify_body(FALSE);
login_134_C.c:long unify_aim()
login_134_C.c:  return unify_body(TRUE);
login_134_C.c:long unify_body(eval_flag)
login_134_C.c:  Traceline("unify %P with %P\n",u,v);
login_134_C.c:      Errorline("attempt to unify with curried function %P\n", u);
login_134_C.c:      Errorline("attempt to unify with curried function %P\n", v);
login_134_C.c:    arity_unify(u,v);
login_134_C.c:      return global_unify(u,v);
login_134_C.c:  unifying the HEAD with the GOAL before proving. It all works by pushing
login_134_C.c:  unify the calling argument with the current rule. If this succeeds and
login_134_C.c:      push_goal(unify,body,rule_body,NULL);
login_134_C.c:      push_goal(unify,head,rule_head,NULL);
login_134_C.c:    case unify:
login_134_C.c:      success=unify_aim();
login_134_C.c:    case unify_noeval:
login_134_C.c:      success=unify_aim_noeval();
login.c:int global_unify_attr(ptr_node,ptr_node);   /*  RM: Feb  9 1993  */
login.c:int global_unify(ptr_psi_term,ptr_psi_term);        /*  RM: Feb 11 1993  */
login.c:  T is the type of the goal: unify or prove.
login.c:  If T=unify then
login.c:  a and b are the terms to unify.
login.c:	push_goal(unify,(ptr_psi_term)(*u)->data,(ptr_psi_term)v->data,NULL);
login.c:	/* push_goal(unify,(*u)->data,v->data,NULL); */
login.c:  If L is in U Then With L->Upsi_term Do unify(Upsi_term,Vpsi_term)
login.c:        push_goal(unify,(*u)->data,v->data,NULL);
login.c:void merge_unify(u,v)
login.c:        push_goal(unify,u,v,NULL);
login.c:	push_goal(unify,u,v,NULL);
login.c:  U and V are the two psi-terms to unify.
login.c:long unify_body(long);
login.c:long unify_aim_noeval()
login.c:  return unify_body(FALSE);
login.c:long unify_aim()
login.c:  return unify_body(TRUE);
login.c:long unify_body(eval_flag)
login.c:  Traceline("unify %P with %P\n",u,v);
login.c:      Errorline("attempt to unify with curried function %P\n", u);
login.c:      Errorline("attempt to unify with curried function %P\n", v);
login.c:    arity_unify(u,v);
login.c:      return global_unify(u,v);
login.c:  unifying the HEAD with the GOAL before proving. It all works by pushing
login.c:  unify the calling argument with the current rule. If this succeeds and
login.c:      push_goal(unify,body,rule_body,NULL);
login.c:      push_goal(unify,head,rule_head,NULL);
login.c:    case unify:
login.c:      success=unify_aim();
login.c:    case unify_noeval:
login.c:      success=unify_aim_noeval();
memory.c:  unify, eval, eval_cut etc...) gives its own meanings to the three other
memory.c:    case unify:
memory.c:    case unify_noeval: /* PVR 5.6 */
modules.c:  push_goal(unify,result,other,NULL);
modules.c:    push_goal(unify,result,other,NULL);
modules.c:int global_unify_attr(ptr_node,ptr_node);   /*  RM: Feb  9 1993  */
modules.c:int global_unify(u,v)      /*  RM: Feb 11 1993  */
modules.c:    Errorline("cannot unify persistent values\n");
modules.c:	    return FALSE; /* Don't unify CUTs and STREAMs and things */
modules.c:      success=global_unify_attr(u->attr_list,v->attr_list);
modules.c:	Warningline("attributes don't unify in %P and %P\n",u,v);
modules.c:int global_unify_attr(u,v)    /*  RM: Feb  9 1993  */
modules.c:	success=global_unify_attr(u,v->left) && global_unify_attr(temp,v);
modules.c:	  success=global_unify_attr(u,v->right) && global_unify_attr(temp,v);
modules.c:	    global_unify_attr(u->left,v->left) &&
modules.c:	      global_unify_attr(u->right,v->right) &&
modules.c:		global_unify(u->data,v->data);
modules.c:  push_goal(unify,result,list,NULL);
parser.c:	  /* make_unify_pair(tok,arg1,arg2); Old code */
raw.c:			unify_real_result (args[0], (REAL) c);
raw.c:	unify_real_result (args[0], (REAL) bufbuf[0]);
raw.c:    unify_bool_result (args[1], event_flag);
raw.c:    unify_bool_result (aim->b, mode_raw);
raw.c:    unify_bool_result (aim->b, x_window_creation);
raw.c:    unify_bool_result (aim->b, FALSE);
sys.c:    push_goal(unify,temp_result,result,NULL);
sys.c:  push_goal(unify,temp_result,result,NULL);
sys.c:      return unify_real_result(result,(REAL) cnt);
sys.c:  push_goal(unify,temp_result,result,NULL);
sys.c:    return unify_real_result(result,(REAL)((s1[i] & (1<<j))?1:0));
sys.c:  push_goal(unify,temp_result,result,NULL);
sys.c:  push_goal(unify,temp_result,result,NULL);
sys.c:	  push_goal(unify,psi,bounds,NULL);
sys.c:      unify_bool_result(result,TRUE);
sys.c:      push_goal(unify,psi,result,NULL);
sys.c:    push_goal(unify,fileptr2stream(fp,sys_stream),result,NULL);
sys.c:    push_goal(unify,temp_result,result,NULL); */
sys.c:    push_goal(unify,fileptr2stream(fp,sys_file_stream),result,NULL);
sys.c:  push_goal(unify,t,result,NULL);
sys.c:  push_goal(unify,t,result,NULL);
sys.c:  else return unify_real_result(result,(REAL)c);
sys.c:  return unify_real_result(result,(REAL)ftell(srm->fp));
sys.c:  push_goal(unify,fileptr2stream((FILE*)args[0]->value,sys_stream),
sys.c:  push_goal(unify,tmp,result,NULL);
sys.c:    push_goal(unify,fileptr2stream(fp,sys_socket_stream),result,NULL);
sys.c:    push_goal(unify,fileptr2stream(fp,sys_socket_stream),result,NULL);
sys.c:  push_goal(unify,stack_int(errno),result,NULL);
sys.c:  push_goal(unify,stack_string((GENERIC)strerror(n)),result,NULL);
sys.c:  else  return unify_real_result(result,(REAL)id);
sys.c:unify_pterm_result(t,sym,lst,n)
sys.c:    fprintf(stderr,"unify_pterm_result called with n<0: n=%d\n",n);
sys.c:  push_goal(unify,t,u,NULL);
sys.c:unify_wait_result(result,id,status)
sys.c:  return unify_pterm_result(result,sym,lst,n);
sys.c:  return unify_wait_result(result,id,status);
sys.c:  return unify_wait_result(result,id,status);
sys.c:  push_goal(unify,result,stack_string((GENERIC)getlogin()),NULL);
sys.c:    push_goal(unify,result,stack_string((GENERIC)name),NULL);
sys.c:  if (n) push_goal(unify,(ptr_psi_term)n->data,result,NULL);
sys.c:    unify_bool_result(result,TRUE);
sys.c:  push_choice_point(unify,result,value,NULL);
sys.c:  push_goal(unify,result,value,NULL);
sys.c:  return unify_real_result(result,(REAL)getpid());
sys_dbm.c:    unify_bool_result(result,TRUE);
sys_dbm.c:    push_goal(unify,bytes,result,NULL);
sys_dbm.c:    push_goal(unify,result,bytes,NULL);
sys_dbm.c:    push_goal(unify,result,bytes,NULL);
xpred.c:/* unify psi_term T to the integer value V */
xpred.c:long unify_int_result(t,v)
xpred.c:      push_goal(unify,psiConnection,args[1],NULL);
xpred.c:  push_goal(unify,psiRoot,args[1],NULL);
xpred.c:      unify_real_result(args[2],(REAL) attr);
xpred.c:      unify_real_result(args[3],(REAL) attr);
xpred.c:      push_goal(unify,psiWindow,args[13],NULL);
xpred.c:      unify_real_result(args[12],(REAL) window);
xpred.c:      unify_real_result(args[2],(REAL) x);
xpred.c:      unify_real_result(args[3],(REAL) y);
xpred.c:      unify_real_result(args[4],(REAL) w);
xpred.c:      unify_real_result(args[5],(REAL) h);
xpred.c:      unify_real_result(args[3],(REAL) attr);
xpred.c:      unify_real_result(args[2],(REAL)(unsigned long) gc);
xpred.c:      unify_real_result(args[2],(REAL) attr);
xpred.c:      unify_real_result(args[5],(REAL) color.pixel);
xpred.c:      unify_real_result(args[3],(REAL) cell.pixel);
xpred.c:  unify_real_result(args[1],(REAL) Points);
xpred.c:      unify_real_result(args[2],(REAL) font);
xpred.c:      unify_real_result(aim->bbbb_1,(REAL) overall.width);
xpred.c:    push_goal(unify,psiEvent,aim->bbbb_1,NULL); /*  RM: May  5 1993  */
xpred.c:  /* push_goal(unify,psiEvent,aim->bbbb_1,NULL);   RM: May  5 1993  */
xpred.c:  unify_real_result(args[2],(REAL)root_return);
xpred.c:  unify_real_result(args[3],(REAL)child_return);
xpred.c:  unify_real_result(args[4],(REAL)root_x_return);
xpred.c:  unify_real_result(args[5],(REAL)root_y_return);
xpred.c:  unify_real_result(args[6],(REAL)win_x_return);
xpred.c:  unify_real_result(args[7],(REAL)win_y_return);
xpred.c:  unify_real_result(args[8],(REAL)mask_return);
xpred.c:  unify_real_result(args[9],(REAL)same_screen);
xpred.c:    unify_real_result(args[i],(REAL)val[i]);
