Class Prolog
- java.lang.Object
-
- org.jpl7.fli.Prolog
-
public final class Prolog extends java.lang.Object
This class consists only of constants (static finals) and static native methods. The constants and methods defined herein are in (almost) strict 1-1 correspondence with the functions in the Prolog FLI by the same name (except without the PL_, SQ_, etc. prefixes).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:
Copyright (C) 1998 Fred DushinRedistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
- Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
- Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
-
Field Summary
Fields Modifier and Type Field 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
JOBJECT
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 Summary
Constructors Constructor Description Prolog()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method 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 engine_t
current_engine()
static boolean
current_engine_is_pool()
static qid_t
current_query()
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(term_t t, Int64Holder i)
static boolean
get_integer_big(term_t t, StringHolder s)
static boolean
get_jref_object(term_t t, ObjectHolder o)
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_atom_chars(term_t t, java.lang.String name)
static void
put_float(term_t t, double f)
static void
put_integer(term_t t, long i)
static void
put_integer_big(term_t t, java.lang.String 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)
-
-
-
Field Detail
-
VARIABLE
public static final int VARIABLE
- See Also:
- Constant Field Values
-
ATOM
public static final int ATOM
- See Also:
- Constant Field Values
-
INTEGER
public static final int INTEGER
- See Also:
- Constant Field Values
-
FLOAT
public static final int FLOAT
- See Also:
- Constant Field Values
-
STRING
public static final int STRING
- See Also:
- Constant Field Values
-
COMPOUND
public static final int COMPOUND
- See Also:
- Constant Field Values
-
LIST_NIL
public static final int LIST_NIL
- See Also:
- Constant Field Values
-
LIST_PAIR
public static final int LIST_PAIR
- See Also:
- Constant Field Values
-
BLOB
public static final int BLOB
- See Also:
- Constant Field Values
-
DICT
public static final int DICT
- See Also:
- Constant Field Values
-
JBOOLEAN
public static final int JBOOLEAN
- See Also:
- Constant Field Values
-
JREF
public static final int JREF
- See Also:
- Constant Field Values
-
JVOID
public static final int JVOID
- See Also:
- Constant Field Values
-
JOBJECT
public static final int JOBJECT
- See Also:
- Constant Field Values
-
succeed
public static final int succeed
- See Also:
- Constant Field Values
-
fail
public static final int fail
- See Also:
- Constant Field Values
-
Q_NORMAL
public static final int Q_NORMAL
- See Also:
- Constant Field Values
-
Q_NODEBUG
public static final int Q_NODEBUG
- See Also:
- Constant Field Values
-
Q_CATCH_EXCEPTION
public static final int Q_CATCH_EXCEPTION
- See Also:
- Constant Field Values
-
Q_PASS_EXCEPTION
public static final int Q_PASS_EXCEPTION
- See Also:
- Constant Field Values
-
CVT_ATOM
public static final int CVT_ATOM
- See Also:
- Constant Field Values
-
CVT_STRING
public static final int CVT_STRING
- See Also:
- Constant Field Values
-
CVT_LIST
public static final int CVT_LIST
- See Also:
- Constant Field Values
-
CVT_INTEGER
public static final int CVT_INTEGER
- See Also:
- Constant Field Values
-
CVT_FLOAT
public static final int CVT_FLOAT
- See Also:
- Constant Field Values
-
CVT_VARIABLE
public static final int CVT_VARIABLE
- See Also:
- Constant Field Values
-
CVT_NUMBER
public static final int CVT_NUMBER
- See Also:
- Constant Field Values
-
CVT_ATOMIC
public static final int CVT_ATOMIC
- See Also:
- Constant Field Values
-
CVT_ALL
public static final int CVT_ALL
- See Also:
- Constant Field Values
-
BUF_DISCARDABLE
public static final int BUF_DISCARDABLE
- See Also:
- Constant Field Values
-
BUF_RING
public static final int BUF_RING
- See Also:
- Constant Field Values
-
BUF_MALLOC
public static final int BUF_MALLOC
- See Also:
- Constant Field Values
-
SYNTAX_TRADITIONAL
public static final int SYNTAX_TRADITIONAL
- See Also:
- Constant Field Values
-
SYNTAX_MODERN
public static final int SYNTAX_MODERN
- See Also:
- Constant Field Values
-
-
Method Detail
-
new_term_ref
public static term_t new_term_ref()
-
new_term_refs
public static term_t new_term_refs(int n)
-
new_atom
public static atom_t new_atom(java.lang.String s)
-
atom_chars
public static java.lang.String atom_chars(atom_t a)
-
unregister_atom
public static void unregister_atom(atom_t a)
-
get_atom_chars
public static boolean get_atom_chars(term_t t, StringHolder a)
-
get_string_chars
public static boolean get_string_chars(term_t t, StringHolder s)
-
get_integer
public static boolean get_integer(term_t t, Int64Holder i)
-
get_integer_big
public static boolean get_integer_big(term_t t, StringHolder s)
-
get_float
public static boolean get_float(term_t t, DoubleHolder d)
-
get_name_arity
public static boolean get_name_arity(term_t t, StringHolder name, IntHolder arity)
-
get_jref_object
public static boolean get_jref_object(term_t t, ObjectHolder o)
-
object_to_tag
public static java.lang.String object_to_tag(java.lang.Object obj)
-
tag_to_object
public static java.lang.Object tag_to_object(java.lang.String tag)
-
is_tag
public static boolean is_tag(java.lang.String tag)
-
term_type
public static int term_type(term_t t)
-
put_variable
public static void put_variable(term_t t)
-
put_integer
public static void put_integer(term_t t, long i)
-
put_integer_big
public static void put_integer_big(term_t t, java.lang.String i)
-
put_float
public static void put_float(term_t t, double f)
-
put_jref
public static void put_jref(term_t t, java.lang.Object ref)
-
put_atom_chars
public static void put_atom_chars(term_t t, java.lang.String name)
-
put_nil
public static void put_nil(term_t t)
-
predicate
public static predicate_t predicate(java.lang.String name, int arity, java.lang.String module)
-
open_query
public static qid_t open_query(module_t m, int flags, predicate_t pred, term_t t0)
-
next_solution
public static boolean next_solution(qid_t qid)
-
close_query
public static void close_query(qid_t qid)
-
current_query
public static qid_t current_query()
-
get_default_init_args
public static java.lang.String[] get_default_init_args()
-
set_default_init_args
public static boolean set_default_init_args(java.lang.String[] argv)
-
initialise
public static boolean initialise()
-
get_actual_init_args
public static java.lang.String[] get_actual_init_args()
-
halt
public static void halt(int status)
-
thread_self
public static int thread_self()
-
attach_pool_engine
public static engine_t attach_pool_engine()
-
release_pool_engine
public static int release_pool_engine()
-
current_engine
public static engine_t current_engine()
-
current_engine_is_pool
public static boolean current_engine_is_pool()
-
attach_engine
public static int attach_engine(engine_t e)
-
get_c_lib_version
public static java.lang.String get_c_lib_version()
-
action_abort
public static int action_abort()
-
open_foreign_frame
public static fid_t open_foreign_frame()
-
discard_foreign_frame
public static void discard_foreign_frame(fid_t cid)
-
get_syntax
public static int get_syntax()
-
-