int
p_succ_ints(value val1, type tag1,
value val2, type tag2)
{
Check_Integer(tag1);
Check_Integer(tag2);
Succeed_If(val1.nint + 1 == val2.nint);
}
int
p_atomd(value v1, type t1)
{
if (IsRef(t1))
{
Mark_Suspending_Variable(v1.ptr);
Delay;
}
else
Succeed_If(IsAtom(t1));
}
/*
* Check whether we are inside the recomputation phase (including
* the execution of the initialization goal)
*/
static int
p_recomputing(void)
{
Succeed_If(PO);
}
static int
p_authorized_module(value v, type t)
{
Check_Atom_Or_Nil(v, t);
Succeed_If(IsModule(v.did) && (!IsLocked(v.did) || IsModuleTag(v.did, t)));
}
static int
p_is_module(value v, type t)
{
Check_Atom_Or_Nil(v, t);
Succeed_If(IsModule(v.did));
}