Yap_unifiable

This commit is contained in:
Vítor Santos Costa 2011-10-27 12:36:03 +02:00
parent 8785108e66
commit 1cc3280fea

View File

@ -379,6 +379,7 @@ int STD_PROTO(Yap_rational_tree_loop, (CELL *, CELL *, CELL **, CELL **
void STD_PROTO(Yap_InitAbsmi,(void)); void STD_PROTO(Yap_InitAbsmi,(void));
void STD_PROTO(Yap_InitUnify,(void)); void STD_PROTO(Yap_InitUnify,(void));
void STD_PROTO(Yap_TrimTrail,(void)); void STD_PROTO(Yap_TrimTrail,(void));
void STD_PROTO(Yap_Unifiable,(Term d0, Term d1));
int STD_PROTO(Yap_IUnify,(register CELL d0,register CELL d1)); int STD_PROTO(Yap_IUnify,(register CELL d0,register CELL d1));
/* userpreds.c */ /* userpreds.c */