sp_unify_xsb_i.h File Reference

Functions
static xsbBool	int_unify (CTXTdeclc Cell op1, Cell op2)
static xsbBool	atom_unify (CTXTdeclc Cell op1, Cell op2)

---

Function Documentation

static xsbBool atom_unify (  CTXTdeclc Cell  op1, Cell  op2 )  [inline, static]

static xsbBool int_unify (  CTXTdeclc Cell  op1, Cell  op2 )  [inline, static]

---