Methods in jpl.fli with parameters of type term_t |
static java.lang.String |
term_t.toString(int n,
term_t term0)
This static method converts a term_t, which is assumed to contain
a reference to a *consecutive* list of term_t references to a
String representation of a list of terms, in this case, a comma
separated list. |
static int |
Prolog.compare(term_t t1,
term_t t2)
|
static term_t |
Prolog.copy_term_ref(term_t from)
|
static void |
Prolog.reset_term_refs(term_t r)
|
static boolean |
Prolog.get_atom(term_t t,
atom_t a)
|
static boolean |
Prolog.get_atom_chars(term_t t,
StringHolder a)
|
static boolean |
Prolog.get_string_chars(term_t t,
StringHolder s)
|
static boolean |
Prolog.get_integer(term_t t,
IntHolder i)
|
static boolean |
Prolog.get_pointer(term_t t,
PointerHolder ptr)
|
static boolean |
Prolog.get_float(term_t t,
DoubleHolder d)
|
static boolean |
Prolog.get_functor(term_t t,
functor_t f)
|
static boolean |
Prolog.get_name_arity(term_t t,
StringHolder name,
IntHolder arity)
|
static boolean |
Prolog.get_module(term_t t,
module_t module)
|
static boolean |
Prolog.get_arg(int index,
term_t t,
term_t a)
|
static boolean |
Prolog.get_jref(term_t t,
ObjectHolder obj)
|
static boolean |
Prolog.get_jboolean(term_t t,
BooleanHolder b)
|
static int |
Prolog.term_type(term_t t)
|
static boolean |
Prolog.is_variable(term_t t)
|
static boolean |
Prolog.is_atom(term_t t)
|
static boolean |
Prolog.is_integer(term_t t)
|
static boolean |
Prolog.is_float(term_t t)
|
static boolean |
Prolog.is_compound(term_t t)
|
static boolean |
Prolog.is_functor(term_t t,
functor_t f)
|
static boolean |
Prolog.is_atomic(term_t t)
|
static boolean |
Prolog.is_number(term_t t)
|
static void |
Prolog.put_variable(term_t t)
|
static void |
Prolog.put_atom(term_t t,
atom_t a)
|
static void |
Prolog.put_integer(term_t t,
long i)
|
static void |
Prolog.put_pointer(term_t t,
PointerHolder ptr)
|
static void |
Prolog.put_float(term_t t,
double f)
|
static void |
Prolog.put_functor(term_t t,
functor_t functor)
|
static void |
Prolog.put_term(term_t t1,
term_t t2)
|
static void |
Prolog.put_jref(term_t t,
java.lang.Object ref)
|
static void |
Prolog.put_jboolean(term_t t,
boolean b)
|
static void |
Prolog.put_jvoid(term_t t)
|
static void |
Prolog.cons_functor_v(term_t h,
functor_t fd,
term_t a0)
|
static void |
Prolog.cons_list(term_t l,
term_t h,
term_t t)
|
static qid_t |
Prolog.open_query(module_t m,
int flags,
predicate_t pred,
term_t t0)
|
static boolean |
Prolog.call(term_t t,
module_t m)
|
static boolean |
Prolog.call_predicate(module_t m,
int debug,
predicate_t pred,
term_t t0)
|
static int |
Prolog.strip_module(term_t in,
module_t m,
term_t out)
|