jpl.fli
Class Prolog
public final
class
Prolog
extends 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 Dushin
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.
Method Summary |
static int | action_abort() |
static 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 term_t | exception(qid_t qid) |
static 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 String | get_c_lib_version() |
static 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_name_arity(term_t t, StringHolder name, IntHolder arity) |
static boolean | get_string_chars(term_t t, StringHolder s) |
static void | halt(int status) |
static boolean | initialise() |
static atom_t | new_atom(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 String | object_to_tag(Object obj) |
static qid_t | open_query(module_t m, int flags, predicate_t pred, term_t t0) |
static predicate_t | predicate(String name, int arity, String module) |
static void | put_float(term_t t, double f) |
static void | put_integer(term_t t, long i) |
static void | put_jref(term_t t, Object ref) |
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(String[] argv) |
static int | term_type(term_t t) |
static int | thread_self() |
static void | unregister_atom(atom_t a) |
public static final int ATOM
public static final int BUF_DISCARDABLE
public static final int BUF_MALLOC
public static final int BUF_RING
public static final int COMPOUND
public static final int CVT_ALL
public static final int CVT_ATOM
public static final int CVT_ATOMIC
public static final int CVT_FLOAT
public static final int CVT_INTEGER
public static final int CVT_LIST
public static final int CVT_NUMBER
public static final int CVT_STRING
public static final int CVT_VARIABLE
public static final int fail
public static final int FLOAT
public static final int INTEGER
public static final int JBOOLEAN
public static final int JREF
public static final int JVOID
public static final int Q_CATCH_EXCEPTION
public static final int Q_NODEBUG
public static final int Q_NORMAL
public static final int Q_PASS_EXCEPTION
public static final int succeed
public static final int STRING
public static final int TERM
Deprecated: use Prolog.COMPOUND
public static final int VARIABLE
public static int action_abort()
public static String atom_chars(
atom_t a)
public static int attach_engine(
engine_t e)
public static
engine_t attach_pool_engine()
public static void close_query(
qid_t qid)
public static boolean current_engine_is_pool()
public static String[] get_actual_init_args()
public static boolean get_arg(int index,
term_t t,
term_t a)
public static String get_c_lib_version()
public static String[] get_default_init_args()
public static void halt(int status)
public static boolean initialise()
public static
atom_t new_atom(String s)
public static
term_t new_term_ref()
public static
term_t new_term_refs(int n)
public static boolean next_solution(
qid_t qid)
public static String object_to_tag(Object obj)
public static
predicate_t predicate(String name, int arity, String module)
public static void put_float(
term_t t, double f)
public static void put_integer(
term_t t, long i)
public static void put_jref(
term_t t, Object ref)
public static void put_variable(
term_t t)
public static int release_pool_engine()
public static boolean set_default_init_args(String[] argv)
public static int term_type(
term_t t)
public static int thread_self()
public static void unregister_atom(
atom_t a)