std_pred_xsb_i.h File Reference

#include "xsb_config.h"
#include "builtin.h"
#include "sp_unify_xsb_i.h"

Defines
#define	INITIAL_NAMELEN   256
Functions
static xsbBool	atom_to_list (CTXTdeclc int call_type)
static xsbBool	number_to_list (CTXTdeclc int call_type)
static xsbBool	functor_builtin (CTXTdecl)
static xsbBool	arg_builtin (CTXTdecl)
static xsbBool	univ_builtin (CTXTdecl)
static xsbBool	hilog_arg (CTXTdecl)
static xsbBool	sort (CTXTdecl)
static xsbBool	keysort (CTXTdecl)
int	par_key_compare (CTXTdeclc const void *t1, const void *t2)
static xsbBool	parsort (CTXTdecl)
static xsbBool	not_occurs_in (Cell Var, Cell Term)
xsbBool	unify_with_occurs_check (CTXTdeclc Cell Term1, Cell Term2)
Variables
sort_par_spec	par_spec

---

Define Documentation

#define INITIAL_NAMELEN   256

---

Function Documentation

static xsbBool arg_builtin (  CTXTdecl   )  [inline, static]

static xsbBool atom_to_list (  CTXTdeclc int  call_type  )  [inline, static]

static xsbBool functor_builtin (  CTXTdecl   )  [inline, static]

static xsbBool hilog_arg (  CTXTdecl   )  [inline, static]

static xsbBool keysort (  CTXTdecl   )  [inline, static]

static xsbBool not_occurs_in (  Cell  Var, Cell  Term )  [inline, static]

static xsbBool number_to_list (  CTXTdeclc int  call_type  )  [inline, static]

int par_key_compare (  CTXTdeclc const void *  t1, const void *  t2 )

static xsbBool parsort (  CTXTdecl   )  [inline, static]

static xsbBool sort (  CTXTdecl   )  [inline, static]

xsbBool unify_with_occurs_check (  CTXTdeclc Cell  Term1, Cell  Term2 )

static xsbBool univ_builtin (  CTXTdecl   )  [inline, static]

---

Variable Documentation

struct sort_par_spec par_spec

---