Esempio n. 1
0
File: bpx.c Progetto: edechter/PRISM
TERM bpx_get_car(TERM t) {
	XDEREF(t);

	if (ISLIST(t)) {
		return GET_CAR(t);
	} else {
		bpx_raise("list expected");
	}
}
Esempio n. 2
0
int pc_add_egraph_path_3(void)
{
    TERM p_node_id,p_children,p_sws;
	int node_id;

    /* children_prolog and sws_prolog must be in the table area */
    p_node_id  = bpx_get_call_arg(1,3);
    p_children = bpx_get_call_arg(2,3);
    p_sws      = bpx_get_call_arg(3,3);

	if (!bpx_is_integer(p_node_id))	RET_ERR(err_invalid_goal_id);
	node_id = bpx_get_integer(p_node_id);

    XDEREF(p_children);
    XDEREF(p_sws);

    RET_ON_ERR(add_egraph_path(node_id,p_children,p_sws));

    return BP_TRUE;
}
Esempio n. 3
0
File: bpx.c Progetto: edechter/PRISM
BPLONG bpx_get_integer(TERM t) {
	XDEREF(t);

	if (ISINT(t)) {
		return INTVAL(t);
	} else {
		bpx_raise("integer expected");
	}

	return 0;  /* should not be reached */
}
Esempio n. 4
0
File: bpx.c Progetto: edechter/PRISM
TERM bpx_get_cdr(TERM t) {
	XDEREF(t);

	if (ISLIST(t)) {
		return GET_CDR(t);
	} else {
		bpx_raise("list expected");
	}

	return NULL_TERM;  /* should not be reached */
}
Esempio n. 5
0
File: bpx.c Progetto: edechter/PRISM
double bpx_get_float(TERM t) {
	XDEREF(t);

	if (ISINT(t)) {
		return (double)(INTVAL(t));
	} else if (ISFLOAT(t)) {
		return floatval(t);
	} else {
		bpx_raise("integer or floating number expected");
	}

	return 0.0;  /* should not be reached */
}
Esempio n. 6
0
File: bpx.c Progetto: edechter/PRISM
const char * bpx_get_name(TERM t) {
	XDEREF(t);

	switch (XTAG(t)) {
	case STR:
		return GET_NAME(GET_STR_SYM_REC(t));
	case ATM:
		return GET_NAME(GET_ATM_SYM_REC(t));
	case LST:
		return ".";
	default:
		bpx_raise("callable expected");
	}

	return NULL;  /* should not be reached */
}
Esempio n. 7
0
File: bpx.c Progetto: edechter/PRISM
int bpx_get_arity(TERM t) {
	XDEREF(t);

	switch (XTAG(t)) {
	case STR:
		return GET_ARITY(GET_STR_SYM_REC(t));
	case ATM:
		return GET_ARITY(GET_ATM_SYM_REC(t));
	case LST:
		return 2;
	default:
		bpx_raise("callable expected");
	}

	return -1;  /* should not be reached */
}
Esempio n. 8
0
File: bpx.c Progetto: edechter/PRISM
TERM bpx_get_arg(BPLONG i, TERM t) {
	BPLONG n, j;

	XDEREF(t);

	switch (XTAG(t)) {
	case STR:
		n = GET_ARITY(GET_STR_SYM_REC(t));
		j = 0;
		break;
	case LST:
		n = 2;
		j = 1;
		break;
	default:
		bpx_raise("compound expected");
	}

	if (i < 1 || i > n) {
		bpx_raise("bad argument index");
	}
	return GET_ARG(t, i - j);
}
Esempio n. 9
0
bool bpx_is_float(TERM t)
{
    XDEREF(t);
    return ISNUM(t);
}
Esempio n. 10
0
bool bpx_is_integer(TERM t)
{
    XDEREF(t);
    return ISINT(t);
}
Esempio n. 11
0
bool bpx_is_atom(TERM t)
{
    XDEREF(t);
    return ISATOM(t);
}
Esempio n. 12
0
bool bpx_is_var(TERM t)
{
    XDEREF(t);
    return ISREF(t);
}
Esempio n. 13
0
bool bpx_is_identical(TERM t1, TERM t2)
{
    XDEREF(t1);
    XDEREF(t2);
    return (bool)(is_IDENTICAL(t1, t2));
}
Esempio n. 14
0
bool bpx_is_unifiable(TERM t1, TERM t2)
{
    XDEREF(t1);
    XDEREF(t2);
    return (bool)(is_UNIFIABLE(t1, t2));
}
Esempio n. 15
0
bool bpx_is_compound(TERM t)
{
    XDEREF(t);
    return ISCOMPOUND(t);
}
Esempio n. 16
0
bool bpx_is_nil(TERM t)
{
    XDEREF(t);
    return ISNIL(t);
}
Esempio n. 17
0
File: bpx.c Progetto: edechter/PRISM
void bpx_write(TERM t) {
	XDEREF(t);
	write_term(t);
}
Esempio n. 18
0
File: bpx.c Progetto: edechter/PRISM
int bpx_mount_query_term(TERM t) {
	XDEREF(t);
	return bp_mount_query_term(t);
}
Esempio n. 19
0
File: bpx.c Progetto: edechter/PRISM
int bpx_call_term(TERM t) {
	XDEREF(t);
	return bp_call_term(t);
}
Esempio n. 20
0
File: bpx.c Progetto: edechter/PRISM
char * bpx_term_2_string(TERM t) {
	XDEREF(t);
	return bp_term_2_string(t);
}
Esempio n. 21
0
bool bpx_is_list(TERM t)
{
    XDEREF(t);
    return ISLIST(t);
}
Esempio n. 22
0
bool bpx_is_structure(TERM t)
{
    XDEREF(t);
    return ISSTRUCT(t);
}