public final class Prolog
extends java.lang.Object
See the file jpl.c for the native (ANSI C) implementations of these methods. Refer to your local Prolog FLI documentations for the meanings of these methods, and observe the following:
This library is free software; you can redistribute it and/or modify it under the terms of the GNU Library Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library Public License for more details.
Modifier and Type | Field and Description |
---|---|
static int |
ATOM |
static int |
BLOB |
static int |
BUF_DISCARDABLE |
static int |
BUF_MALLOC |
static int |
BUF_RING |
static int |
COMPOUND |
static int |
CVT_ALL |
static int |
CVT_ATOM |
static int |
CVT_ATOMIC |
static int |
CVT_FLOAT |
static int |
CVT_INTEGER |
static int |
CVT_LIST |
static int |
CVT_NUMBER |
static int |
CVT_STRING |
static int |
CVT_VARIABLE |
static int |
DICT |
static int |
fail |
static int |
FLOAT |
static int |
INTEGER |
static int |
JBOOLEAN |
static int |
JREF |
static int |
JVOID |
static int |
LIST_NIL |
static int |
LIST_PAIR |
static int |
Q_CATCH_EXCEPTION |
static int |
Q_NODEBUG |
static int |
Q_NORMAL |
static int |
Q_PASS_EXCEPTION |
static int |
STRING |
static int |
succeed |
static int |
SYNTAX_MODERN |
static int |
SYNTAX_TRADITIONAL |
static int |
VARIABLE |
Constructor and Description |
---|
Prolog() |
Modifier and Type | Method and Description |
---|---|
static int |
action_abort() |
static java.lang.String |
atom_chars(atom_t a) |
static int |
attach_engine(engine_t e) |
static engine_t |
attach_pool_engine() |
static void |
close_query(qid_t qid) |
static int |
compare(term_t t1,
term_t t2) |
static void |
cons_functor_v(term_t h,
functor_t fd,
term_t a0) |
static term_t |
copy_term_ref(term_t from) |
static boolean |
current_engine_is_pool() |
static engine_t |
current_engine() |
static void |
discard_foreign_frame(fid_t cid) |
static term_t |
exception(qid_t qid) |
static java.lang.String[] |
get_actual_init_args() |
static boolean |
get_arg(int index,
term_t t,
term_t a) |
static boolean |
get_atom_chars(term_t t,
StringHolder a) |
static java.lang.String |
get_c_lib_version() |
static java.lang.String[] |
get_default_init_args() |
static boolean |
get_float(term_t t,
DoubleHolder d) |
static boolean |
get_integer_big(term_t t,
StringHolder s) |
static boolean |
get_integer(term_t t,
Int64Holder i) |
static boolean |
get_name_arity(term_t t,
StringHolder name,
IntHolder arity) |
static boolean |
get_string_chars(term_t t,
StringHolder s) |
static int |
get_syntax() |
static void |
halt(int status) |
static boolean |
initialise() |
static boolean |
is_tag(java.lang.String tag) |
static atom_t |
new_atom(java.lang.String s) |
static functor_t |
new_functor(atom_t f,
int a) |
static module_t |
new_module(atom_t name) |
static term_t |
new_term_ref() |
static term_t |
new_term_refs(int n) |
static boolean |
next_solution(qid_t qid) |
static java.lang.String |
object_to_tag(java.lang.Object obj) |
static fid_t |
open_foreign_frame() |
static qid_t |
open_query(module_t m,
int flags,
predicate_t pred,
term_t t0) |
static predicate_t |
predicate(java.lang.String name,
int arity,
java.lang.String module) |
static void |
put_float(term_t t,
double f) |
static void |
put_integer_big(term_t t,
java.lang.String i) |
static void |
put_integer(term_t t,
long i) |
static void |
put_jref(term_t t,
java.lang.Object ref) |
static void |
put_nil(term_t t) |
static void |
put_term(term_t t1,
term_t t2) |
static void |
put_variable(term_t t) |
static int |
release_pool_engine() |
static boolean |
set_default_init_args(java.lang.String[] argv) |
static java.lang.Object |
tag_to_object(java.lang.String tag) |
static int |
term_type(term_t t) |
static int |
thread_self() |
static void |
unregister_atom(atom_t a) |
public static final int VARIABLE
public static final int ATOM
public static final int INTEGER
public static final int FLOAT
public static final int STRING
public static final int COMPOUND
public static final int LIST_NIL
public static final int LIST_PAIR
public static final int BLOB
public static final int DICT
public static final int JBOOLEAN
public static final int JREF
public static final int JVOID
public static final int succeed
public static final int fail
public static final int Q_NORMAL
public static final int Q_NODEBUG
public static final int Q_CATCH_EXCEPTION
public static final int Q_PASS_EXCEPTION
public static final int CVT_ATOM
public static final int CVT_STRING
public static final int CVT_LIST
public static final int CVT_INTEGER
public static final int CVT_FLOAT
public static final int CVT_VARIABLE
public static final int CVT_NUMBER
public static final int CVT_ATOMIC
public static final int CVT_ALL
public static final int BUF_DISCARDABLE
public static final int BUF_RING
public static final int BUF_MALLOC
public static final int SYNTAX_TRADITIONAL
public static final int SYNTAX_MODERN
public static term_t new_term_ref()
public static term_t new_term_refs(int n)
public static atom_t new_atom(java.lang.String s)
public static java.lang.String atom_chars(atom_t a)
public static void unregister_atom(atom_t a)
public static boolean get_atom_chars(term_t t, StringHolder a)
public static boolean get_string_chars(term_t t, StringHolder s)
public static boolean get_integer(term_t t, Int64Holder i)
public static boolean get_integer_big(term_t t, StringHolder s)
public static boolean get_float(term_t t, DoubleHolder d)
public static boolean get_name_arity(term_t t, StringHolder name, IntHolder arity)
public static java.lang.String object_to_tag(java.lang.Object obj)
public static java.lang.Object tag_to_object(java.lang.String tag)
public static boolean is_tag(java.lang.String tag)
public static int term_type(term_t t)
public static void put_variable(term_t t)
public static void put_integer(term_t t, long i)
public static void put_integer_big(term_t t, java.lang.String i)
public static void put_float(term_t t, double f)
public static void put_jref(term_t t, java.lang.Object ref)
public static void put_nil(term_t t)
public static predicate_t predicate(java.lang.String name, int arity, java.lang.String module)
public static qid_t open_query(module_t m, int flags, predicate_t pred, term_t t0)
public static boolean next_solution(qid_t qid)
public static void close_query(qid_t qid)
public static java.lang.String[] get_default_init_args()
public static boolean set_default_init_args(java.lang.String[] argv)
public static boolean initialise()
public static java.lang.String[] get_actual_init_args()
public static void halt(int status)
public static int thread_self()
public static engine_t attach_pool_engine()
public static int release_pool_engine()
public static engine_t current_engine()
public static boolean current_engine_is_pool()
public static int attach_engine(engine_t e)
public static java.lang.String get_c_lib_version()
public static int action_abort()
public static fid_t open_foreign_frame()
public static void discard_foreign_frame(fid_t cid)
public static int get_syntax()