/*-------------------------------------------------------------------------*
* READ_ARG *
* *
*-------------------------------------------------------------------------*/
static WamWord
Read_Arg(WamWord **lst_adr)
{
WamWord word, tag_mask;
WamWord *adr;
WamWord car_word;
DEREF(**lst_adr, word, tag_mask);
if (tag_mask != TAG_LST_MASK)
{
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (word == NIL_WORD)
Pl_Err_Domain(pl_domain_non_empty_list, word);
Pl_Err_Type(pl_type_list, word);
}
adr = UnTag_LST(word);
car_word = Car(adr);
*lst_adr = &Cdr(adr);
DEREF(car_word, word, tag_mask);
return word;
}
/*-------------------------------------------------------------------------*/
AtomInf *Get_Functor_Arity(WamWord start_word,int *arity,WamWord **arg_adr)
{
WamWord word,tag,*adr;
Deref(start_word,word,tag,adr)
switch(tag)
{
case CST:
*arity=0;
return UnTag_CST(word);
case LST:
adr=UnTag_LST(word);
*arity=2;
*arg_adr=&Car(adr);
return atom_dot;
case STC:
adr=UnTag_STC(word);
*arity=Arity(adr);
*arg_adr=&Arg(adr,0);
return Functor(adr);
default:
return NULL;
}
}
/*-------------------------------------------------------------------------*
* PL_FD_PROLOG_TO_ARRAY_INT *
* *
*-------------------------------------------------------------------------*/
WamWord *
Pl_Fd_Prolog_To_Array_Int(WamWord list_word)
{
WamWord word, tag_mask;
WamWord save_list_word;
WamWord *lst_adr;
WamWord val;
int n = 0;
WamWord *array;
WamWord *save_array;
array = CS;
save_list_word = list_word;
save_array = array;
array++; /* +1 for the nb of elems */
for (;;)
{
DEREF(list_word, word, tag_mask);
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (word == NIL_WORD)
break;
if (tag_mask != TAG_LST_MASK)
Pl_Err_Type(pl_type_list, save_list_word);
lst_adr = UnTag_LST(word);
DEREF(Car(lst_adr), word, tag_mask);
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (tag_mask != TAG_INT_MASK)
Pl_Err_Type(pl_type_integer, word);
val = UnTag_INT(word);
*array++ = val;
n++;
list_word = Cdr(lst_adr);
}
*save_array = n;
CS = array;
return save_array;
}
/*-------------------------------------------------------------------------*
* PL_FD_LIST_INT_TO_RANGE *
* *
*-------------------------------------------------------------------------*/
void
Pl_Fd_List_Int_To_Range(Range *range, WamWord list_word)
{
WamWord word, tag_mask;
WamWord save_list_word;
WamWord *lst_adr;
WamWord val;
int n = 0;
save_list_word = list_word;
range->extra_cstr = FALSE;
Vector_Allocate_If_Necessary(range->vec);
Pl_Vector_Empty(range->vec);
for (;;)
{
DEREF(list_word, word, tag_mask);
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (word == NIL_WORD)
break;
if (tag_mask != TAG_LST_MASK)
Pl_Err_Type(pl_type_list, save_list_word);
lst_adr = UnTag_LST(word);
DEREF(Car(lst_adr), word, tag_mask);
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (tag_mask != TAG_INT_MASK)
Pl_Err_Type(pl_type_integer, word);
val = UnTag_INT(word);
if ((unsigned) val > (unsigned) pl_vec_max_integer)
range->extra_cstr = TRUE;
else
{
Vector_Set_Value(range->vec, val);
n++;
}
list_word = Cdr(lst_adr);
}
if (n == 0)
Set_To_Empty(range);
else
Pl_Range_From_Vector(range);
}
/*-------------------------------------------------------------------------*
* GROUP *
* *
*-------------------------------------------------------------------------*/
static WamWord
Group(WamWord all_sol_word, WamWord gl_key_word, WamWord *key_adr)
{
WamWord word, tag_mask;
WamWord *adr;
WamWord *lst_adr, *prev_lst_adr;
WamWord key_word, key_word1;
DEREF(all_sol_word, word, tag_mask);
lst_adr = UnTag_LST(word);
DEREF(Car(lst_adr), word, tag_mask); /* term of the form Key-Value */
adr = UnTag_STC(word);
*key_adr = key_word = Arg(adr, 0);
for (;;)
{ /* Arg(adr,1) cannot be a Dont_Separate_Tag */
Car(lst_adr) = Arg(adr, 1);
prev_lst_adr = lst_adr;
DEREF(Cdr(lst_adr), word, tag_mask);
if (word == NIL_WORD)
return NOT_A_WAM_WORD;
prev_lst_adr = lst_adr;
lst_adr = UnTag_LST(word);
DEREF(Car(lst_adr), word, tag_mask); /* term of the form Key-Value */
adr = UnTag_STC(word);
key_word1 = Arg(adr, 0);
if (Pl_Term_Compare(key_word, key_word1) != 0)
break;
}
all_sol_word = Cdr(prev_lst_adr);
Cdr(prev_lst_adr) = NIL_WORD;
return all_sol_word;
}
/*-------------------------------------------------------------------------*
* PL_NUMBER_CHARS_2 *
* *
*-------------------------------------------------------------------------*/
Bool
Pl_Number_Chars_2(WamWord number_word, WamWord chars_word)
{
WamWord word, tag_mask;
WamWord *lst_adr, list_word;
char *str = pl_glob_buff;
int atom;
list_word = chars_word;
for (;;)
{
DEREF(list_word, word, tag_mask);
if (word == NIL_WORD)
break;
if (tag_mask != TAG_LST_MASK)
goto from_nb;
lst_adr = UnTag_LST(word);
DEREF(Car(lst_adr), word, tag_mask);
atom = UnTag_ATM(word);
if (tag_mask != TAG_ATM_MASK || pl_atom_tbl[atom].prop.length != 1)
goto from_nb;
*str++ = pl_atom_tbl[atom].name[0];
list_word = Cdr(lst_adr);
}
*str = '\0';
return String_To_Number(pl_glob_buff, number_word);
from_nb:
DEREF(number_word, word, tag_mask);
if (tag_mask == TAG_INT_MASK)
{
sprintf(pl_glob_buff, "%" PL_FMT_d, UnTag_INT(word));
return Pl_Un_Chars_Check(pl_glob_buff, chars_word);
}
if (tag_mask != TAG_REF_MASK)
{
str = Pl_Float_To_String(Pl_Rd_Number_Check(word));
return Pl_Un_Chars_Check(str, chars_word);
}
Pl_Rd_Chars_Check(chars_word); /* only to raise the correct error */
return FALSE;
}
/*-------------------------------------------------------------------------*
* PL_TERM_SIZE *
* *
*-------------------------------------------------------------------------*/
int
Pl_Term_Size(WamWord start_word)
{
WamWord word, tag_mask;
WamWord *adr;
int i;
int n = 0; /* init to zero for terminal_rec */
terminal_rec:
DEREF(start_word, word, tag_mask);
switch (Tag_From_Tag_Mask(tag_mask))
{
#ifndef NO_USE_FD_SOLVER
case FDV: /* 1+ for <REF,->fdv_adr> since Dont_Separate_Tag */
return n + 1 + Fd_Variable_Size(UnTag_FDV(word));
#endif
case FLT:
#if WORD_SIZE == 32
return n + 1 + 2;
#else
return n + 1 + 1;
#endif
case LST:
adr = UnTag_LST(word);
adr = &Car(adr);
n += 1 + Pl_Term_Size(*adr++);
start_word = *adr;
goto terminal_rec;
case STC:
adr = UnTag_STC(word);
n += 2; /* tagged word + f_n */
i = Arity(adr);
adr = &Arg(adr, 0);
while (--i)
n += Pl_Term_Size(*adr++);
start_word = *adr;
goto terminal_rec;
default:
return n + 1;
}
}
/*-------------------------------------------------------------------------*
* PL_NUMBER_CODES_2 *
* *
*-------------------------------------------------------------------------*/
Bool
Pl_Number_Codes_2(WamWord number_word, WamWord codes_word)
{
WamWord word, tag_mask;
WamWord *lst_adr, list_word;
char *str = pl_glob_buff;
PlLong c;
list_word = codes_word;
for (;;)
{
DEREF(list_word, word, tag_mask);
if (word == NIL_WORD)
break;
if (tag_mask != TAG_LST_MASK)
goto from_nb;
lst_adr = UnTag_LST(word);
DEREF(Car(lst_adr), word, tag_mask);
c = UnTag_INT(word);
if (tag_mask != TAG_INT_MASK || !Is_Valid_Code(c))
goto from_nb;
*str++ = (char) c;
list_word = Cdr(lst_adr);
}
*str = '\0';
return String_To_Number(pl_glob_buff, number_word);
from_nb:
DEREF(number_word, word, tag_mask);
if (tag_mask == TAG_INT_MASK)
{
sprintf(pl_glob_buff, "%" PL_FMT_d, UnTag_INT(word));
return Pl_Un_Codes_Check(pl_glob_buff, codes_word);
}
if (tag_mask != TAG_REF_MASK)
{
str = Pl_Float_To_String(Pl_Rd_Number_Check(word));
return Pl_Un_Codes_Check(str, codes_word);
}
Pl_Rd_Codes_Check(codes_word); /* only to raise the correct error */
return FALSE;
}
/*-------------------------------------------------------------------------*
* PL_TREAT_VARS_OF_TERM *
* *
* Call fct for each variable found in a term. *
*-------------------------------------------------------------------------*/
void
Pl_Treat_Vars_Of_Term(WamWord start_word, Bool generic_var, void (*fct) ())
{
WamWord word, tag_mask;
WamWord *adr;
int i;
terminal_rec:
DEREF(start_word, word, tag_mask);
switch (Tag_Of(word))
{
case REF:
(*fct) (UnTag_REF(word), word);
break;
#ifndef NO_USE_FD_SOLVER
case FDV:
if (generic_var)
(*fct) (UnTag_FDV(word), word);
break;
#endif
case LST:
adr = UnTag_LST(word);
adr = &Car(adr);
Pl_Treat_Vars_Of_Term(*adr++, generic_var, fct);
start_word = *adr;
goto terminal_rec;
case STC:
adr = UnTag_STC(word);
i = Arity(adr);
adr = &Arg(adr, 0);
while (--i)
Pl_Treat_Vars_Of_Term(*adr++, generic_var, fct);
start_word = *adr;
goto terminal_rec;
}
}
/*-------------------------------------------------------------------------*
* CHECK_IF_VAR_OCCURS *
* *
* Only called if var_adr resides in the heap since a var residing in the *
* local stack cannot appear in a term (there is no binding from the heap *
* to the local stack in the WAM). *
*-------------------------------------------------------------------------*/
static Bool
Check_If_Var_Occurs(WamWord *var_adr, WamWord term_word)
{
WamWord word, tag_mask;
WamWord *adr;
int i;
terminal_rec:
DEREF(term_word, word, tag_mask);
if (tag_mask == TAG_REF_MASK)
return UnTag_REF(word) == var_adr;
if (tag_mask == TAG_LST_MASK)
{
adr = UnTag_LST(word);
adr = &Car(adr);
if (Check_If_Var_Occurs(var_adr, *adr++))
return TRUE;
term_word = *adr;
goto terminal_rec;
}
if (tag_mask == TAG_STC_MASK)
{
adr = UnTag_STC(word);
i = Arity(adr);
adr = &Arg(adr, 0);
while (--i)
if (Check_If_Var_Occurs(var_adr, *adr++))
return TRUE;
term_word = *adr;
goto terminal_rec;
}
return FALSE;
}
/*-------------------------------------------------------------------------*
* ADD_FD_VARIABLES *
* *
*-------------------------------------------------------------------------*/
static void
Add_Fd_Variables(WamWord e_word)
{
WamWord word, tag_mask;
WamWord *adr;
int i;
DEREF(e_word, word, tag_mask);
if (tag_mask == TAG_REF_MASK)
{
if (vars_sp - vars_tbl == VARS_STACK_SIZE)
Pl_Err_Resource(pl_resource_too_big_fd_constraint);
*vars_sp++ = word;
*vars_sp++ = 1; /* FD var */
return;
}
if (tag_mask == TAG_LST_MASK)
{
adr = UnTag_LST(word);
Add_Fd_Variables(Car(adr));
Add_Fd_Variables(Cdr(adr));
}
if (tag_mask == TAG_STC_MASK)
{
adr = UnTag_STC(word);
i = Arity(adr);
do
Add_Fd_Variables(Arg(adr, --i));
while (i);
}
}
/*-------------------------------------------------------------------------*
* PL_LIST_LENGTH *
* *
* returns the length of a list or < 0 if not a list: *
* -1: instantation error *
* -2: type error (type_list) *
*-------------------------------------------------------------------------*/
int
Pl_List_Length(WamWord start_word)
{
WamWord word, tag_mask;
int n = 0;
for (;;)
{
DEREF(start_word, word, tag_mask);
if (word == NIL_WORD)
return n;
if (tag_mask == TAG_REF_MASK)
return -1;
if (tag_mask != TAG_LST_MASK)
return -2;
n++;
start_word = Cdr(UnTag_LST(word));
}
}
/*-------------------------------------------------------------------------*/
AtomInf *Get_Compound(WamWord tag,WamWord word,int *arity,WamWord **arg_adr)
{
WamWord *adr;
switch(tag)
{
case LST:
adr=UnTag_LST(word);
*arity=2;
*arg_adr=&Car(adr);
return atom_dot;
case STC:
adr=UnTag_STC(word);
*arity=Arity(adr);
*arg_adr=&Arg(adr,0);
return Functor(adr);
default:
return NULL;
}
}
static void
Show_List_Arg(int depth, WamWord *lst_adr)
{
WamWord word, tag_mask;
terminal_rec:
depth--;
Show_Term(depth, MAX_ARG_OF_FUNCTOR_PREC, GENERAL_TERM, Car(lst_adr));
if (depth == 0) /* dots already written by Show_Term */
return;
DEREF(Cdr(lst_adr), word, tag_mask);
switch (Tag_From_Tag_Mask(tag_mask))
{
case REF:
SHOW_LIST_PIPE;
Show_Global_Var(UnTag_REF(word));
break;
case ATM:
if (word != NIL_WORD)
{
SHOW_LIST_PIPE;
if (Try_Portray(word))
return;
Show_Atom(GENERAL_TERM, UnTag_ATM(word));
}
break;
#ifndef NO_USE_FD_SOLVER
case FDV:
SHOW_LIST_PIPE;
if (Try_Portray(word))
return;
Show_Fd_Variable(UnTag_FDV(word));
break;
#endif
case INT:
SHOW_LIST_PIPE;
if (Try_Portray(word))
return;
Show_Integer(UnTag_INT(word));
break;
case FLT:
SHOW_LIST_PIPE;
if (Try_Portray(word))
return;
Show_Float(Pl_Obtain_Float(UnTag_FLT(word)));
break;
case LST:
Out_Char(',');
if (space_args)
Out_Space();
lst_adr = UnTag_LST(word);
goto terminal_rec;
break;
case STC:
SHOW_LIST_PIPE;
if (Try_Portray(word))
return;
Show_Structure(depth, MAX_ARG_OF_FUNCTOR_PREC, GENERAL_TERM,
UnTag_STC(word));
break;
}
}
/*-------------------------------------------------------------------------*
* SHOW_TERM *
* *
*-------------------------------------------------------------------------*/
static void
Show_Term(int depth, int prec, int context, WamWord term_word)
{
WamWord word, tag_mask;
WamWord *adr;
if (depth == 0)
{
Show_Atom(GENERAL_TERM, atom_dots);
return;
}
DEREF(term_word, word, tag_mask);
if (tag_mask != TAG_REF_MASK && Try_Portray(word))
return;
switch (Tag_From_Tag_Mask(tag_mask))
{
case REF:
adr = UnTag_REF(word);
if (Is_A_Local_Adr(adr))
{
Globalize_Local_Unbound_Var(adr, word);
adr = UnTag_REF(word);
}
Show_Global_Var(adr);
break;
case ATM:
Show_Atom(context, UnTag_ATM(word));
break;
#ifndef NO_USE_FD_SOLVER
case FDV:
Show_Fd_Variable(UnTag_FDV(word));
break;
#endif
case INT:
Show_Integer(UnTag_INT(word));
break;
case FLT:
Show_Float(Pl_Obtain_Float(UnTag_FLT(word)));
break;
case LST:
adr = UnTag_LST(word);
if (ignore_op)
{
Out_String("'.'(");
Show_Term(depth - 1, MAX_ARG_OF_FUNCTOR_PREC, GENERAL_TERM,
Car(adr));
Out_Char(',');
Show_Term(depth - 1, MAX_ARG_OF_FUNCTOR_PREC, GENERAL_TERM,
Cdr(adr));
Out_Char(')');
}
else
{
Out_Char('[');
Show_List_Arg(depth, adr);
Out_Char(']');
}
break;
case STC:
adr = UnTag_STC(word);
Show_Structure(depth, prec, context, adr);
break;
}
}
/*-------------------------------------------------------------------------*
* LOAD_MATH_EXPRESSION *
* *
*-------------------------------------------------------------------------*/
static WamWord
Load_Math_Expression(WamWord exp)
{
WamWord word, tag_mask;
WamWord *adr;
WamWord *lst_adr;
ArithInf *arith;
DEREF(exp, word, tag_mask);
if (tag_mask == TAG_INT_MASK || tag_mask == TAG_FLT_MASK)
return word;
if (tag_mask == TAG_LST_MASK)
{
lst_adr = UnTag_LST(word);
DEREF(Cdr(lst_adr), word, tag_mask);
if (word != NIL_WORD)
{
word = Pl_Put_Structure(ATOM_CHAR('/'), 2);
Pl_Unify_Atom(ATOM_CHAR('.'));
Pl_Unify_Integer(2);
Pl_Err_Type(pl_type_evaluable, word);
}
DEREF(Car(lst_adr), word, tag_mask);
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (tag_mask != TAG_INT_MASK)
{
Pl_Err_Type(pl_type_integer, word);
}
return word;
}
if (tag_mask == TAG_STC_MASK)
{
adr = UnTag_STC(word);
arith = (ArithInf *) Pl_Hash_Find(arith_tbl, Functor_And_Arity(adr));
if (arith == NULL)
{
word = Pl_Put_Structure(ATOM_CHAR('/'), 2);
Pl_Unify_Atom(Functor(adr));
Pl_Unify_Integer(Arity(adr));
Pl_Err_Type(pl_type_evaluable, word);
}
if (Arity(adr) == 1)
return (*(arith->fct)) (Load_Math_Expression(Arg(adr, 0)));
return (*(arith->fct)) (Load_Math_Expression(Arg(adr, 0)),
Load_Math_Expression(Arg(adr, 1)));
}
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (tag_mask == TAG_ATM_MASK)
{
word = Pl_Put_Structure(ATOM_CHAR('/'), 2);
Pl_Unify_Value(exp);
Pl_Unify_Integer(0); /* then type_error */
}
Pl_Err_Type(pl_type_evaluable, word);
return word;
}
/*-------------------------------------------------------------------------*
* PL_FD_PROLOG_TO_ARRAY_FDV *
* *
*-------------------------------------------------------------------------*/
WamWord *
Pl_Fd_Prolog_To_Array_Fdv(WamWord list_word, Bool pl_var_ok)
{
WamWord word, tag_mask;
WamWord save_list_word;
WamWord *lst_adr;
int n = 0;
WamWord *save_array;
WamWord *array;
/* compute the length of the list to */
/* reserve space in the heap for the */
/* array before pushing new FD vars. */
save_list_word = list_word;
for (;;)
{
DEREF(list_word, word, tag_mask);
if (tag_mask != TAG_LST_MASK)
break;
lst_adr = UnTag_LST(word);
n++;
list_word = Cdr(lst_adr);
}
array = CS;
CS = CS + n + 1;
list_word = save_list_word;
save_array = array;
array++; /* +1 for the nb of elems */
for (;;)
{
DEREF(list_word, word, tag_mask);
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (word == NIL_WORD)
break;
if (tag_mask != TAG_LST_MASK)
Pl_Err_Type(pl_type_list, save_list_word);
lst_adr = UnTag_LST(word);
*array++ = (WamWord) Pl_Fd_Prolog_To_Fd_Var(Car(lst_adr), pl_var_ok);
list_word = Cdr(lst_adr);
}
*save_array = n;
return save_array;
}
/*-------------------------------------------------------------------------*
* COPY_TERM_REC *
* *
* p is the next address to use to store the rest of a term. *
*-------------------------------------------------------------------------*/
static void
Copy_Term_Rec(WamWord *dst_adr, WamWord *src_adr, WamWord **p)
{
WamWord word, tag_mask;
WamWord *adr;
WamWord *q;
int i;
terminal_rec:
DEREF(*src_adr, word, tag_mask);
switch (Tag_From_Tag_Mask(tag_mask))
{
case REF:
adr = UnTag_REF(word);
q = *p;
if (adr < q && adr >= base_copy) /* already a copy */
{
*dst_adr = word;
return;
}
if (top_vars >= end_vars)
Pl_Err_Representation(pl_representation_too_many_variables);
*top_vars++ = word; /* word to restore */
*top_vars++ = (WamWord) adr; /* address to restore */
*adr = *dst_adr = Tag_REF(dst_adr); /* bind to a new copy */
return;
#ifndef NO_USE_FD_SOLVER
case FDV:
adr = UnTag_FDV(word);
q = *p;
if (adr < q && adr >= base_copy) /* already a copy */
{
*dst_adr = Tag_REF(adr); /* since Dont_Separate_Tag */
return;
}
if (top_vars >= end_vars)
Pl_Err_Representation(pl_representation_too_many_variables);
*top_vars++ = word; /* word to restore */
*top_vars++ = (WamWord) adr; /* address to restore */
q = *p;
*p = q + Fd_Copy_Variable(q, adr);
*adr = *dst_adr = Tag_REF(q); /* bind to a new copy */
return;
#endif
case FLT:
adr = UnTag_FLT(word);
q = *p;
q[0] = adr[0];
#if WORD_SIZE == 32
q[1] = adr[1];
*p = q + 2;
#else
*p = q + 1;
#endif
*dst_adr = Tag_FLT(q);
return;
case LST:
adr = UnTag_LST(word);
q = *p;
*dst_adr = Tag_LST(q);
*p = &Cdr(q) + 1;
q = &Car(q);
adr = &Car(adr);
Copy_Term_Rec(q++, adr++, p);
dst_adr = q;
src_adr = adr;
goto terminal_rec;
case STC:
adr = UnTag_STC(word);
q = *p;
*dst_adr = Tag_STC(q);
Functor_And_Arity(q) = Functor_And_Arity(adr);
i = Arity(adr);
*p = &Arg(q, i - 1) + 1;
q = &Arg(q, 0);
adr = &Arg(adr, 0);
while (--i)
Copy_Term_Rec(q++, adr++, p);
dst_adr = q;
src_adr = adr;
goto terminal_rec;
default:
*dst_adr = word;
return;
}
}
/*-------------------------------------------------------------------------*
* PL_COPY_CONTIGUOUS_TERM *
* *
* Copy a contiguous term (dereferenced), the result is a contiguous term. *
*-------------------------------------------------------------------------*/
void
Pl_Copy_Contiguous_Term(WamWord *dst_adr, WamWord *src_adr)
#define Old_Adr_To_New_Adr(adr) ((dst_adr)+((adr)-(src_adr)))
{
WamWord word, *adr;
WamWord *q;
int i;
terminal_rec:
word = *src_adr;
switch (Tag_Of(word))
{
case REF:
adr = UnTag_REF(word);
q = Old_Adr_To_New_Adr(adr);
*dst_adr = Tag_REF(q);
if (adr > src_adr) /* only useful for Dont_Separate_Tag */
Pl_Copy_Contiguous_Term(q, adr);
return;
#ifndef NO_USE_FD_SOLVER
case FDV:
adr = UnTag_FDV(word);
Fd_Copy_Variable(dst_adr, adr);
return;
#endif
case FLT:
adr = UnTag_FLT(word);
q = Old_Adr_To_New_Adr(adr);
q[0] = adr[0];
#if WORD_SIZE == 32
q[1] = adr[1];
#endif
*dst_adr = Tag_FLT(q);
return;
case LST:
adr = UnTag_LST(word);
q = Old_Adr_To_New_Adr(adr);
*dst_adr = Tag_LST(q);
q = &Car(q);
adr = &Car(adr);
Pl_Copy_Contiguous_Term(q++, adr++);
dst_adr = q;
src_adr = adr;
goto terminal_rec;
case STC:
adr = UnTag_STC(word);
q = Old_Adr_To_New_Adr(adr);
*dst_adr = Tag_STC(q);
Functor_And_Arity(q) = Functor_And_Arity(adr);
i = Arity(adr);
q = &Arg(q, 0);
adr = &Arg(adr, 0);
while (--i)
Pl_Copy_Contiguous_Term(q++, adr++);
dst_adr = q;
src_adr = adr;
goto terminal_rec;
default:
*dst_adr = word;
return;
}
}
/*-------------------------------------------------------------------------*
* PL_BLT_UNIV *
* *
*-------------------------------------------------------------------------*/
Bool FC
Pl_Blt_Univ(WamWord term_word, WamWord list_word)
{
WamWord word, tag_mask;
WamWord *adr;
WamWord car_word;
int lst_length;
WamWord *arg1_adr;
WamWord *term_adr, *lst_adr, *stc_adr;
WamWord functor_word, functor_tag;
int functor;
int arity;
Pl_Set_C_Bip_Name("=..", 2);
DEREF(term_word, word, tag_mask);
if (tag_mask == TAG_REF_MASK)
goto list_to_term;
/* from term to list functor+args */
if (tag_mask == TAG_LST_MASK)
{
adr = UnTag_LST(word);
car_word = Tag_ATM(ATOM_CHAR('.'));
lst_length = 1 + 2;
arg1_adr = &Car(adr);
}
else if (tag_mask == TAG_STC_MASK)
{
adr = UnTag_STC(word);
car_word = Tag_ATM(Functor(adr));
lst_length = 1 + Arity(adr);
arg1_adr = &Arg(adr, 0);
}
#ifndef NO_USE_FD_SOLVER
else if (tag_mask == TAG_FDV_MASK)
{
adr = UnTag_FDV(word);
car_word = Tag_REF(adr); /* since Dont_Separate_Tag */
lst_length = 1 + 0;
}
#endif
else /* TAG_ATM/INT/FLT_MASK */
{
car_word = word;
lst_length = 1 + 0;
}
Pl_Check_For_Un_List(list_word);
Pl_Unset_C_Bip_Name();
for (;;)
{
if (!Pl_Get_List(list_word) || !Pl_Unify_Value(car_word))
return FALSE;
list_word = Pl_Unify_Variable();
if (--lst_length == 0)
break;
car_word = *arg1_adr++;
}
return Pl_Get_Nil(list_word);
/* from list functor+args to term */
list_to_term:
term_adr = UnTag_REF(word);
DEREF(list_word, word, tag_mask);
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (word == NIL_WORD)
Pl_Err_Domain(pl_domain_non_empty_list, list_word);
if (tag_mask != TAG_LST_MASK)
Pl_Err_Type(pl_type_list, list_word);
lst_adr = UnTag_LST(word);
DEREF(Car(lst_adr), functor_word, functor_tag);
if (functor_tag == TAG_REF_MASK)
Pl_Err_Instantiation();
DEREF(Cdr(lst_adr), word, tag_mask);
if (word == NIL_WORD)
{
if (functor_tag != TAG_ATM_MASK && functor_tag != TAG_INT_MASK &&
functor_tag != TAG_FLT_MASK)
Pl_Err_Type(pl_type_atomic, functor_word);
term_word = functor_word;
goto finish;
}
if (functor_tag != TAG_ATM_MASK)
Pl_Err_Type(pl_type_atom, functor_word);
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (tag_mask != TAG_LST_MASK)
Pl_Err_Type(pl_type_list, list_word);
functor = UnTag_ATM(functor_word);
stc_adr = H;
H++; /* space for f/n maybe lost if a list */
arity = 0;
for (;;)
{
arity++;
lst_adr = UnTag_LST(word);
DEREF(Car(lst_adr), word, tag_mask);
Do_Copy_Of_Word(tag_mask, word); /* since Dont_Separate_Tag */
Global_Push(word);
DEREF(Cdr(lst_adr), word, tag_mask);
if (word == NIL_WORD)
break;
if (tag_mask == TAG_REF_MASK)
Pl_Err_Instantiation();
if (tag_mask != TAG_LST_MASK)
Pl_Err_Type(pl_type_list, list_word);
}
if (arity > MAX_ARITY)
Pl_Err_Representation(pl_representation_max_arity);
if (functor == ATOM_CHAR('.') && arity == 2) /* a list */
term_word = Tag_LST(stc_adr + 1);
else
{
*stc_adr = Functor_Arity(functor, arity);
term_word = Tag_STC(stc_adr);
}
finish:
Bind_UV(term_adr, term_word);
Pl_Unset_C_Bip_Name();
return TRUE;
}
/*-------------------------------------------------------------------------*
* This file is not compiled separately but included twice by wam_inst.c: *
* - to define the Unify function (classical unification). *
* - to define the Unify_Occurs_Check function (+ occurs check). *
*-------------------------------------------------------------------------*/
Bool FC
UNIFY_FCT_NAME(WamWord start_u_word, WamWord start_v_word)
{
WamWord u_word, u_tag_mask;
WamWord v_word, v_tag_mask;
WamWord *u_adr, *v_adr;
int i;
terminal_rec:
DEREF(start_u_word, u_word, u_tag_mask);
DEREF(start_v_word, v_word, v_tag_mask);
if (u_tag_mask == TAG_REF_MASK)
{
u_adr = UnTag_REF(u_word);
if (v_tag_mask == TAG_REF_MASK)
{
v_adr = UnTag_REF(v_word);
if (u_adr > v_adr)
Bind_UV(u_adr, Tag_REF(v_adr));
else if (v_adr > u_adr)
Bind_UV(v_adr, Tag_REF(u_adr));
}
else
{
#ifdef OCCURS_CHECK
if (!Is_A_Local_Adr(u_adr) && /* no binding from heap to local */
Check_If_Var_Occurs(u_adr, v_word))
return FALSE;
#endif
Do_Copy_Of_Word(v_tag_mask, v_word);
Bind_UV(u_adr, v_word);
}
return TRUE;
}
if (v_tag_mask == TAG_REF_MASK)
{
v_adr = UnTag_REF(v_word);
#ifdef OCCURS_CHECK
if (!Is_A_Local_Adr(v_adr) && /* no binding from heap to local */
Check_If_Var_Occurs(v_adr, u_word))
return FALSE;
#endif
Do_Copy_Of_Word(u_tag_mask, u_word);
Bind_UV(v_adr, u_word);
return TRUE;
}
if (u_word == v_word)
return TRUE;
if (v_tag_mask == TAG_LST_MASK)
{
if (u_tag_mask != v_tag_mask)
return FALSE;
u_adr = UnTag_LST(u_word);
v_adr = UnTag_LST(v_word);
u_adr = &Car(u_adr);
v_adr = &Car(v_adr);
if (!UNIFY_FCT_NAME(*u_adr++, *v_adr++))
return FALSE;
start_u_word = *u_adr;
start_v_word = *v_adr;
goto terminal_rec;
}
if (v_tag_mask == TAG_STC_MASK)
{
if (u_tag_mask != v_tag_mask)
return FALSE;
u_adr = UnTag_STC(u_word);
v_adr = UnTag_STC(v_word);
if (Functor_And_Arity(u_adr) != Functor_And_Arity(v_adr))
return FALSE;
i = Arity(u_adr);
u_adr = &Arg(u_adr, 0);
v_adr = &Arg(v_adr, 0);
while (--i)
if (!UNIFY_FCT_NAME(*u_adr++, *v_adr++))
return FALSE;
start_u_word = *u_adr;
start_v_word = *v_adr;
goto terminal_rec;
}
#ifndef NO_USE_FD_SOLVER
if (v_tag_mask == TAG_INT_MASK && u_tag_mask == TAG_FDV_MASK)
return Fd_Unify_With_Integer(UnTag_FDV(u_word), UnTag_INT(v_word));
if (v_tag_mask == TAG_FDV_MASK)
{
v_adr = UnTag_FDV(v_word);
if (u_tag_mask == TAG_INT_MASK)
return Fd_Unify_With_Integer(v_adr, UnTag_INT(u_word));
if (u_tag_mask != v_tag_mask) /* i.e. TAG_FDV_MASK */
return FALSE;
return Fd_Unify_With_Fd_Var(UnTag_FDV(u_word), v_adr);
}
#endif
if (v_tag_mask == TAG_FLT_MASK)
return (u_tag_mask == v_tag_mask &&
Pl_Obtain_Float(UnTag_FLT(u_word)) ==
Pl_Obtain_Float(UnTag_FLT(v_word)));
return FALSE;
}
