Modifier and Type | Class and Description |
---|---|
class |
AbstractSocket |
class |
Client_Socket |
class |
Datagram_Socket |
class |
Double
Double class represents the double prolog data type
|
class |
Float
Float class represents the float prolog data type
|
class |
Int
Int class represents the integer prolog data type
|
class |
Long
Long class represents the long prolog data type
|
class |
Number
Number abstract class represents numbers prolog data type
|
class |
Server_Socket |
class |
Struct
Struct class represents both compound prolog term
and atom term (considered as 0-arity compound).
|
class |
Var
This class represents a variable term.
|
Modifier and Type | Field and Description |
---|---|
static Term |
Term.FALSE |
static Term |
Term.TRUE |
Modifier and Type | Method and Description |
---|---|
Term |
SubGoalStore.backTo(SubGoalId identifier)
Ripristina ClauseStore allo stato i-esimo
|
Term |
Number.copy(int idExecCtx)
gets a copy of this term.
|
Term |
Term.copyGoal(AbstractMap<Var,Var> vars,
int idExecCtx)
gets a engine's copy of this term.
|
Term |
Term.copyResult(Collection<Var> goalVars,
List<Var> resultVars)
gets a copy of this term for the output
|
static Term |
Term.createTerm(String st)
Static service to create a Term from a string.
|
static Term |
Term.createTerm(String st,
OperatorManager op)
Static service to create a Term from a string, providing an
external operator manager.
|
Term |
PrimitiveInfo.evalAsFunctor(Struct g)
evaluates the primitive as a functor
|
protected Term |
Library.evalExpression(Term term)
Evaluates an expression.
|
Term |
SubGoalStore.fetch()
Restituisce la clausola da caricare
|
Term |
Struct.getArg(int index)
Gets the i-th element of this structure
No bound check is done
|
Term |
EngineManager.getBagOFbag() |
Term |
EngineRunner.getBagOFBag() |
Term |
EngineRunner.getBagOFgoal() |
Term |
EngineManager.getBagOFgoal() |
Term |
EngineRunner.getBagOFvarSet() |
Term |
EngineManager.getBagOFvarSet() |
Term |
PrologError.getError() |
Term |
Var.getLink()
Gets the term which is direct referred by the variable.
|
Term |
ClauseStore.getMatchGoal() |
Term |
SolveInfo.getQuery()
Gets the query
|
Term |
Engine.getQuery() |
Term |
SolveInfo.getSolution()
Gets the solution of the request
|
Term |
Var.getTerm()
Gets the term which is referred by the variable.
|
abstract Term |
Term.getTerm()
Gets the actual term referred by this Term. if the Term is a bound variable, the method gets the Term linked to the variable
|
Term |
Struct.getTerm() |
Term |
Number.getTerm()
Gets the actual term referred by this Term.
|
Term |
AbstractSocket.getTerm() |
Term |
Struct.getTerm(int index)
Gets the i-th element of this structure
No bound check is done.
|
Term |
SolveInfo.getTerm(String varName)
Gets the value of a variable in the substitution.
|
Term |
SubGoalElement.getValue() |
Term |
SolveInfo.getVarValue(String varName)
Gets the value of a variable in the substitution.
|
Term |
PrimitiveManager.identifyDirective(Term term)
Identifies the term passed as argument.
|
Term |
Term.iteratedGoalTerm()
The iterated-goal term G of a term T is a term defined
recursively as follows:
if T unifies with ^(_, Goal) then G is the iterated-goal
term of Goal
else G is T
|
Term |
Struct.iteratedGoalTerm() |
Term |
Struct.listHead()
Gets the head of this structure, which is supposed to be a list.
|
Term |
Parser.nextTerm(boolean endNeeded)
Parses next term from the stream built on string.
|
static Term |
Term.parse(String st)
Deprecated.
Use
createTerm(String) instead. |
static Term |
Term.parse(String st,
OperatorManager op)
Deprecated.
Use
createTerm(String, OperatorManager) instead. |
static Term |
Parser.parseSingleTerm(String st)
Static service to get a term from its string representation
|
static Term |
Parser.parseSingleTerm(String st,
OperatorManager op)
Static service to get a term from its string representation,
providing a specific operator manager
|
Term |
Prolog.termSolve(String st) |
Term |
Prolog.toTerm(String st)
Gets a term from a string, using the operators currently
defined by the engine
|
Modifier and Type | Method and Description |
---|---|
ArrayList<Term> |
EngineRunner.getBagOFres() |
ArrayList<Term> |
EngineManager.getBagOFres() |
static Iterator<Term> |
Term.getIterator(String text)
Gets an iterator providing
a term stream from a source text
|
HashMap<Term,Integer> |
Parser.getTextMapping() |
Iterator<Term> |
Parser.iterator() |
Iterator<? extends Term> |
Theory.iterator(Prolog engine) |
Iterator<? extends Term> |
Struct.listIterator()
Gets an iterator on the elements of this structure, which is supposed to be a list.
|
Modifier and Type | Method and Description |
---|---|
boolean |
BuiltIn.$append_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.$call_1(Term goal)
It is the same as call/1, but it is not opaque to cut.
|
boolean |
BuiltIn.$find_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.$fromlist_2(Term arg0,
Term arg1) |
void |
BuiltIn.$load_library_1(Term lib) |
boolean |
BuiltIn.$op_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
BuiltIn.$retract_1(Term arg0) |
boolean |
BuiltIn.$tolist_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.abolish_1(Term arg0) |
void |
SubGoalTree.addChild(Term term) |
void |
Struct.append(Term t)
Appends an element to this structure supposed to be a list
|
boolean |
BuiltIn.asserta_1(Term arg0) |
boolean |
BuiltIn.assertz_1(Term arg0) |
static ClauseStore |
ClauseStore.build(Term goal,
List<Var> vars,
List<ClauseInfo> familyClauses)
Carica una famiglia di clausole
Reviewed by Paolo Contessi:
OneWayList.transform(List) -> OneWayList.transform2(List)
|
boolean |
BuiltIn.comma_2(Term arg0,
Term arg1) |
boolean |
BuiltIn.copy_term_2(Term arg0,
Term arg1) |
boolean |
Prolog.defineFlag(String name,
Struct valueList,
Term defValue,
boolean modifiable,
String libName)
Defines a new flag
|
boolean |
BuiltIn.deunify_2(Term arg0,
Term arg1) |
static PrologError |
PrologError.domain_error(EngineManager e,
int argNo,
String validDomain,
Term culprit) |
protected Term |
Library.evalExpression(Term term)
Evaluates an expression.
|
static PrologError |
PrologError.existence_error(EngineManager e,
int argNo,
String objectType,
Term culprit,
Term message) |
List<ClauseInfo> |
TheoryManager.find(Term headt)
Returns a family of clauses with functor and arity equals
to the functor and arity of the term passed as a parameter
Reviewed by Paolo Contessi: modified according to new ClauseDatabase
implementation
|
void |
BuiltIn.flag_4(Term flagName,
Term flagSet,
Term flagDefault,
Term flagModifiable) |
boolean |
BuiltIn.flag_list_1(Term arg0) |
boolean |
BuiltIn.get_prolog_flag_2(Term arg0,
Term arg1) |
boolean |
TermQueue.get(Term t,
Prolog engine,
EngineRunner er) |
boolean |
EngineManager.getMsg(int id,
Term msg) |
boolean |
EngineManager.getMsg(String name,
Term msg) |
boolean |
EngineRunner.getMsg(Term t) |
boolean |
BuiltIn.halt_1(Term arg0) |
void |
EngineManager.identify(Term t) |
Term |
PrimitiveManager.identifyDirective(Term term)
Identifies the term passed as argument.
|
void |
Prolog.identifyFunctor(Term term)
Identify functors
|
void |
PrimitiveManager.identifyFunctor(Term term) |
void |
PrimitiveManager.identifyPredicate(Term term) |
void |
BuiltIn.include_1(Term theory) |
void |
BuiltIn.initialization_1(Term goal) |
boolean |
BuiltIn.is_2(Term arg0,
Term arg1) |
boolean |
Var.isEqual(Term t) |
abstract boolean |
Term.isEqual(Term t)
Tests if this term is (logically) equal to another
|
boolean |
Struct.isEqual(Term t)
Test if a term is equal to other
|
boolean |
Long.isEqual(Term t)
Returns true if this integer term is equal that the term provided.
|
boolean |
Int.isEqual(Term t)
Returns true if this integer term is equal to the term provided.
|
boolean |
Float.isEqual(Term t)
Returns true if this Float term is equal that the term provided.
|
boolean |
Double.isEqual(Term t)
Returns true if this Double term is equal to the term provided.
|
boolean |
AbstractSocket.isEqual(Term t) |
boolean |
Var.isGreater(Term t)
Gets a copy of this variable
|
abstract boolean |
Term.isGreater(Term t)
is term greater than term t?
|
boolean |
Struct.isGreater(Term t)
Test if a term is greater than other
|
boolean |
Long.isGreater(Term t)
Returns true if this integer term is grater that the term provided.
|
boolean |
Int.isGreater(Term t)
Returns true if this integer term is grater that the term provided.
|
boolean |
Float.isGreater(Term t)
Returns true if this Float term is grater that the term provided.
|
boolean |
Double.isGreater(Term t)
Returns true if this Double term is grater that the term provided.
|
boolean |
AbstractSocket.isGreater(Term t) |
boolean |
Var.isGreaterRelink(Term t,
ArrayList<String> vorder) |
abstract boolean |
Term.isGreaterRelink(Term t,
ArrayList<String> vorder) |
boolean |
Struct.isGreaterRelink(Term t,
ArrayList<String> vorder) |
boolean |
Long.isGreaterRelink(Term t,
ArrayList<String> vorder) |
boolean |
Int.isGreaterRelink(Term t,
ArrayList<String> vorder) |
boolean |
Float.isGreaterRelink(Term t,
ArrayList<String> vorder) |
boolean |
Double.isGreaterRelink(Term t,
ArrayList<String> vorder) |
boolean |
AbstractSocket.isGreaterRelink(Term t,
ArrayList<String> vorder) |
boolean |
BuiltIn.load_library_1(Term arg0) |
boolean |
BuiltIn.load_library_2(Term arg0,
Term arg1) |
boolean |
Term.match(Term t)
Tests if this term is unifiable with an other term.
|
boolean |
Prolog.match(Term t0,
Term t1)
Unifies two terms using current demonstration context.
|
protected boolean |
Library.match(Term a0,
Term a1)
tries to unify two terms
The runtime (demonstration) context currently used by the engine
is deployed and altered.
|
void |
LibraryManager.onSolveBegin(Term g) |
void |
Library.onSolveBegin(Term goal)
method invoked when the engine is going
to demonstrate a goal
|
void |
BuiltIn.op_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
TermQueue.peek(Term t,
Prolog engine) |
boolean |
EngineManager.peekMsg(int id,
Term msg) |
boolean |
EngineManager.peekMsg(String name,
Term msg) |
boolean |
EngineRunner.peekMsg(Term t) |
static PrologError |
PrologError.permission_error(EngineManager e,
String operation,
String objectType,
Term culprit,
Term message) |
boolean |
TermQueue.remove(Term t,
Prolog engine) |
boolean |
EngineManager.removeMsg(int id,
Term msg) |
boolean |
EngineManager.removeMsg(String name,
Term msg) |
boolean |
EngineRunner.removeMsg(Term t) |
static PrologError |
PrologError.resource_error(EngineManager e,
Term resource) |
boolean |
EngineManager.sendMsg(int dest,
Term msg) |
boolean |
EngineManager.sendMsg(String name,
Term msg) |
void |
EngineRunner.sendMsg(Term t) |
boolean |
BuiltIn.set_prolog_flag_2(Term arg0,
Term arg1) |
void |
EngineManager.setBagOFbag(Term l) |
void |
EngineRunner.setBagOFBag(Term l) |
void |
EngineRunner.setBagOFgoal(Term l) |
void |
EngineManager.setBagOFgoal(Term l) |
void |
EngineRunner.setBagOFvarSet(Term l) |
void |
EngineManager.setBagOFvarSet(Term l) |
void |
EngineRunner.setGoal(Term goal) |
SolveInfo |
Prolog.solve(Term g)
Solves a query
|
SolveInfo |
EngineManager.solve(Term query) |
void |
TermQueue.store(Term t) |
static PrologError |
PrologError.syntax_error(EngineManager e,
int clause,
int line,
int position,
Term message) |
static PrologError |
PrologError.system_error(Term message) |
boolean |
EngineManager.threadCreate(Term threadID,
Term goal) |
String |
Prolog.toString(Term term)
Gets the string representation of a term, using operators
currently defined by engine
|
static PrologError |
PrologError.type_error(EngineManager e,
int argNo,
String validType,
Term culprit) |
boolean |
BuiltIn.unify_2(Term arg0,
Term arg1) |
boolean |
Term.unify(Prolog mediator,
Term t1)
Try to unify two terms
|
boolean |
Prolog.unify(Term t0,
Term t1)
Unifies two terms using current demonstration context.
|
protected boolean |
Library.unify(Term a0,
Term a1)
tries to unify two terms
The runtime (demonstration) context currently used by the engine
is deployed and altered.
|
boolean |
BuiltIn.unload_library_1(Term arg0) |
boolean |
TermQueue.wait(Term t,
Prolog engine,
EngineRunner er) |
boolean |
EngineManager.waitMsg(int id,
Term msg) |
boolean |
EngineManager.waitMsg(String name,
Term msg) |
boolean |
EngineRunner.waitMsg(Term msg) |
Modifier and Type | Method and Description |
---|---|
void |
EngineRunner.setBagOFres(ArrayList<Term> l) |
void |
EngineManager.setBagOFres(ArrayList<Term> l) |
Constructor and Description |
---|
Engine(EngineRunner manager,
Term query) |
PrologError(Term error) |
PrologError(Term error,
String descriptionError) |
Struct(String f,
Term at0)
Builds a compound, with one argument
|
Struct(String f,
Term[] argList)
Builds a compound, with an array of arguments
|
Struct(String f,
Term at0,
Term at1)
Builds a compound, with two arguments
|
Struct(String f,
Term at0,
Term at1,
Term at2)
Builds a compound, with three arguments
|
Struct(String f,
Term at0,
Term at1,
Term at2,
Term at3)
Builds a compound, with four arguments
|
Struct(String f,
Term at0,
Term at1,
Term at2,
Term at3,
Term at4)
Builds a compound, with five arguments
|
Struct(String f,
Term at0,
Term at1,
Term at2,
Term at3,
Term at4,
Term at5)
Builds a compound, with six arguments
|
Struct(String f,
Term at0,
Term at1,
Term at2,
Term at3,
Term at4,
Term at5,
Term at6)
Builds a compound, with seven arguments
|
Struct(Term[] argList)
Builds a list specifying the elements
|
Struct(Term h,
Term t)
Builds a list providing head and tail
|
SubGoalElement(Term t) |
Constructor and Description |
---|
Parser(OperatorManager op,
String theoryText,
HashMap<Term,Integer> mapping)
creating a Parser specifing how to handle operators
and what text to parse
|
Parser(String theoryText,
HashMap<Term,Integer> mapping)
creating a parser with default operator interpretation
|
Modifier and Type | Method and Description |
---|---|
Term |
IParser.nextTerm(boolean endNeeded)
Parses next term from the stream built on string.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ISocketLib.aread_from_socket_2(Term Socket,
Struct Options) |
boolean |
ISocketLib.read_from_socket_3(Term Socket,
Term Msg,
Struct Options) |
boolean |
ISocketLib.tcp_socket_client_open_2(Struct Address,
Term Socket) |
boolean |
ISocketLib.tcp_socket_server_accept_3(Term ServerSock,
Term Client_Addr,
Term Client_Slave_Socket) |
boolean |
ISocketLib.tcp_socket_server_close_1(Term serverSocket) |
boolean |
ISocketLib.tcp_socket_server_open_3(Struct Address,
Term Socket,
Struct Options) |
String |
IProlog.toString(Term term)
Gets the string representation of a term, using operators
currently defined by engine
|
boolean |
ISocketLib.udp_receive(Term Socket,
Term Data,
Struct AddressFrom,
Struct Options) |
boolean |
ISocketLib.udp_send_3(Term Socket,
Term Data,
Struct AddressTo) |
boolean |
ISocketLib.udp_socket_close_1(Term socket) |
boolean |
ISocketLib.udp_socket_open_2(Struct Address,
Term Socket) |
boolean |
ISocketLib.write_to_socket_2(Term Socket,
Term Msg) |
Modifier and Type | Method and Description |
---|---|
static IParser |
ParserFactory.createParser(IOperatorManager op,
String theory,
HashMap<Term,Integer> mapping)
creating a Parser specifing how to handle operators
and what text to parse
|
static IParser |
ParserFactory.createParser(String theory,
HashMap<Term,Integer> mapping)
creating a parser with default operator interpretation
|
Modifier and Type | Field and Description |
---|---|
protected Hashtable<InputStream,Hashtable<String,Term>> |
ISOIOLibrary.inputStreams |
protected Hashtable<OutputStream,Hashtable<String,Term>> |
ISOIOLibrary.outputStreams |
Modifier and Type | Method and Description |
---|---|
Term |
ISOLibrary.abs_1(Term val) |
Term |
ISOLibrary.atan_1(Term val) |
Term |
ISOLibrary.ceiling_1(Term val) |
Term |
ISOLibrary.cos_1(Term val) |
Term |
ISOLibrary.div_2(Term v0,
Term v1) |
Term |
ISOLibrary.exp_1(Term val) |
Term |
BasicLibrary.expression_bitwise_and_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_bitwise_not_1(Term arg0) |
Term |
BasicLibrary.expression_bitwise_or_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_bitwise_shift_left_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_bitwise_shift_right_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_div_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_integer_div_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_minus_1(Term arg0) |
Term |
BasicLibrary.expression_minus_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_multiply_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_plus_1(Term arg0) |
Term |
BasicLibrary.expression_plus_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_pow_2(Term arg0,
Term arg1) |
Term |
ISOLibrary.float_1(Term val) |
Term |
ISOLibrary.float_fractional_part_1(Term val) |
Term |
ISOLibrary.float_integer_part_1(Term val) |
Term |
ISOLibrary.floor_1(Term val) |
Term |
ISOLibrary.log_1(Term val) |
Term |
ISOLibrary.mod_2(Term v0,
Term v1) |
Term |
ISOLibrary.rem_2(Term v0,
Term v1) |
Term |
ISOLibrary.round_1(Term val) |
Term |
ISOLibrary.sign_1(Term val) |
Term |
ISOLibrary.sin_1(Term val) |
Term |
ISOLibrary.sqrt_1(Term val) |
Term |
ISOLibrary.truncate_1(Term val) |
Modifier and Type | Method and Description |
---|---|
boolean |
BasicLibrary.$s_next0_3(Term witness,
Term wtList,
Term sNext) |
boolean |
BasicLibrary.$wt_unify_3(Term witness,
Term wtList,
Term tList) |
boolean |
BasicLibrary.$wt_unify_6(Term witness,
Term wtList,
Term tList,
Term varSet,
Term temp,
Term goal) |
Term |
ISOLibrary.abs_1(Term val) |
boolean |
BasicLibrary.add_theory_1(Term th)
adds a new theory provided as a text
|
boolean |
BasicLibrary.agent_1(Term th)
spawns a separate prolog agent providing it a theory text
|
boolean |
BasicLibrary.agent_2(Term th,
Term g)
spawns a separate prolog agent providing it a theory text and a goal
|
boolean |
BasicLibrary.all_solutions_predicates_guard_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
SocketLibrary.aread_from_socket_2(Term Socket,
Struct Options)
Asynchronous read from Socket.
|
boolean |
BasicLibrary.arg_guard_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
ISOIOLibrary.at_end_of_stream_1(Term stream_or_alias) |
Term |
ISOLibrary.atan_1(Term val) |
boolean |
BasicLibrary.atom_1(Term t) |
boolean |
ISOLibrary.atom_chars_2(Term arg0,
Term arg1) |
boolean |
ISOLibrary.atom_length_2(Term arg0,
Term len) |
boolean |
BasicLibrary.atomic_1(Term t) |
protected boolean |
JavaLibrary.bindDynamicObject(Term id,
Object obj)
Tries to bind specified id to a provided java object.
|
boolean |
BasicLibrary.call_guard_1(Term arg0) |
Term |
ISOLibrary.ceiling_1(Term val) |
boolean |
ISOLibrary.char_code_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.clause_guard_2(Term arg0,
Term arg1) |
boolean |
ISOIOLibrary.close_1(Term stream_or_alias) |
boolean |
ISOIOLibrary.close_2(Term stream_or_alias,
Term closeOptions) |
boolean |
BasicLibrary.compound_1(Term t) |
boolean |
BasicLibrary.constant_1(Term t) |
Term |
ISOLibrary.cos_1(Term val) |
boolean |
BasicLibrary.delete_guard_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
JavaLibrary.destroy_object_1(Term id)
Destroy the link to a java object - called not directly, but from
predicate java_object (as second choice, for backtracking)
|
Term |
ISOLibrary.div_2(Term v0,
Term v1) |
boolean |
BasicLibrary.element_guard_3(Term arg0,
Term arg1,
Term arg2) |
Term |
ISOLibrary.exp_1(Term val) |
Term |
BasicLibrary.expression_bitwise_and_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_bitwise_not_1(Term arg0) |
Term |
BasicLibrary.expression_bitwise_or_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_bitwise_shift_left_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_bitwise_shift_right_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_div_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.expression_equality_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.expression_greater_or_equal_than_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.expression_greater_than_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_integer_div_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.expression_less_or_equal_than_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.expression_less_than_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_minus_1(Term arg0) |
Term |
BasicLibrary.expression_minus_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_multiply_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_plus_1(Term arg0) |
Term |
BasicLibrary.expression_plus_2(Term arg0,
Term arg1) |
Term |
BasicLibrary.expression_pow_2(Term arg0,
Term arg1) |
boolean |
ISOIOLibrary.find_property_2(Term list,
Term property) |
Term |
ISOLibrary.float_1(Term val) |
boolean |
BasicLibrary.float_1(Term t) |
Term |
ISOLibrary.float_fractional_part_1(Term val) |
Term |
ISOLibrary.float_integer_part_1(Term val) |
Term |
ISOLibrary.floor_1(Term val) |
boolean |
ISOIOLibrary.flush_output_1(Term stream_or_alias) |
boolean |
IOLibrary.get_1(Term arg0) |
boolean |
ISOIOLibrary.get_byte_1(Term in_byte) |
boolean |
ISOIOLibrary.get_byte_2(Term stream_or_alias,
Term in_byte) |
boolean |
ISOIOLibrary.get_char_2(Term stream_or_alias,
Term arg) |
boolean |
JavaLibrary.get_classpath_1(Term paths) |
boolean |
ISOIOLibrary.get_code_1(Term char_code) |
boolean |
ISOIOLibrary.get_code_2(Term stream_or_alias,
Term char_code) |
boolean |
BasicLibrary.get_operators_list_1(Term argument) |
boolean |
BasicLibrary.get_theory_1(Term arg)
gets current theory text
|
boolean |
IOLibrary.get0_1(Term arg0) |
boolean |
SocketLibrary.getAddress_2(Term sock,
Term addr) |
boolean |
BasicLibrary.ground_1(Term t) |
boolean |
BasicLibrary.integer_1(Term t) |
boolean |
BasicLibrary.iterated_goal_term_2(Term term,
Term goal) |
boolean |
JavaLibrary.java_array_get_primitive_3(Term obj_id,
Term i,
Term what) |
boolean |
JavaLibrary.java_array_set_primitive_3(Term obj_id,
Term i,
Term what) |
boolean |
JavaLibrary.java_call_3(Term objId,
Term method_name,
Term idResult)
Calls a method of a Java object
|
boolean |
JavaLibrary.java_class_4(Term clSource,
Term clName,
Term clPathes,
Term id)
Creates of a java class
|
boolean |
JavaLibrary.java_object_3(Term className,
Term argl,
Term id) |
boolean |
BasicLibrary.list_1(Term t) |
boolean |
BasicLibrary.load_library_from_theory_2(Term th,
Term libName)
Loads a library constructed from a theory.
|
Term |
ISOLibrary.log_1(Term val) |
boolean |
BasicLibrary.member_guard_2(Term arg0,
Term arg1) |
Term |
ISOLibrary.mod_2(Term v0,
Term v1) |
boolean |
ThreadLibrary.msg_queue_create_1(Term q) |
boolean |
ThreadLibrary.msg_queue_destroy_1(Term q) |
boolean |
ThreadLibrary.msg_queue_size_2(Term id,
Term n) |
boolean |
ThreadLibrary.mutex_create_1(Term mutex) |
boolean |
ThreadLibrary.mutex_destroy_1(Term mutex) |
boolean |
ThreadLibrary.mutex_isLocked_1(Term mutex) |
boolean |
ThreadLibrary.mutex_lock_1(Term mutex) |
boolean |
ThreadLibrary.mutex_trylock_1(Term mutex) |
boolean |
ThreadLibrary.mutex_unlock_1(Term mutex) |
boolean |
ISOIOLibrary.nl_1(Term stream_or_alias) |
boolean |
BasicLibrary.nonvar_1(Term t) |
boolean |
BasicLibrary.num_atom_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.number_1(Term t) |
void |
JavaLibrary.onSolveBegin(Term goal) |
boolean |
ISOIOLibrary.open_3(Term source_sink,
Term mode,
Term stream) |
boolean |
ISOIOLibrary.open_4(Term source_sink,
Term mode,
Term stream,
Term options) |
boolean |
ISOIOLibrary.peek_byte_1(Term in_byte) |
boolean |
ISOIOLibrary.peek_byte_2(Term stream_or_alias,
Term in_byte) |
boolean |
ISOIOLibrary.peek_char_1(Term in_char) |
boolean |
ISOIOLibrary.peek_char_2(Term stream_or_alias,
Term in_char) |
boolean |
ISOIOLibrary.peek_code_1(Term char_code) |
boolean |
ISOIOLibrary.peek_code_2(Term stream_or_alias,
Term char_code) |
boolean |
EDCGLibrary.phrase_guard_2(Term arg0,
Term arg1) |
boolean |
DCGLibrary.phrase_guard_2(Term arg0,
Term arg1) |
boolean |
EDCGLibrary.phrase_guard_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
DCGLibrary.phrase_guard_3(Term arg0,
Term arg1,
Term arg2) |
boolean |
IOLibrary.print_1(Term arg0) |
boolean |
IOLibrary.put_1(Term arg) |
boolean |
ISOIOLibrary.put_byte_1(Term out_byte) |
boolean |
ISOIOLibrary.put_byte_2(Term stream_or_alias,
Term out_byte) |
boolean |
ISOIOLibrary.put_char_2(Term stream_or_alias,
Term in_char) |
boolean |
ISOIOLibrary.put_code_1(Term char_code) |
boolean |
ISOIOLibrary.put_code_2(Term stream_or_alias,
Term char_code) |
boolean |
IOLibrary.rand_float_1(Term t) |
boolean |
IOLibrary.rand_int_2(Term argNum,
Term num) |
boolean |
IOLibrary.read_1(Term arg0) |
boolean |
ISOIOLibrary.read_2(Term stream_or_alias,
Term in_term) |
boolean |
SocketLibrary.read_from_socket_3(Term Socket,
Term Msg,
Struct Options)
Synchronous reading from Socket.
|
boolean |
ISOIOLibrary.read_term_2(Term in_term,
Term options) |
boolean |
ISOIOLibrary.read_term_3(Term stream_or_alias,
Term in_term,
Term options) |
boolean |
JavaLibrary.register_1(Term id)
Register an object with the specified id.
|
Term |
ISOLibrary.rem_2(Term v0,
Term v1) |
boolean |
BasicLibrary.retract_guard_1(Term arg0) |
boolean |
BasicLibrary.reverse_guard_2(Term arg0,
Term arg1) |
Term |
ISOLibrary.round_1(Term val) |
boolean |
IOLibrary.see_1(Term arg) |
boolean |
IOLibrary.seeing_1(Term t) |
boolean |
JavaLibrary.set_classpath_1(Term paths) |
boolean |
ISOIOLibrary.set_input_1(Term stream_or_alias) |
boolean |
ISOIOLibrary.set_output_1(Term stream_or_alias) |
boolean |
IOLibrary.set_seed_1(Term t)
Sets an arbitrary seed for the Random object.
|
boolean |
ISOIOLibrary.set_stream_position_2(Term stream_or_alias,
Term position) |
boolean |
BasicLibrary.set_theory_1(Term th)
sets a new theory provided as a text
|
boolean |
ISOIOLibrary.set_write_flag_1(Term number) |
Term |
ISOLibrary.sign_1(Term val) |
Term |
ISOLibrary.sin_1(Term val) |
boolean |
IOLibrary.solve_file_goal_guard_2(Term arg0,
Term arg1) |
Term |
ISOLibrary.sqrt_1(Term val) |
boolean |
ISOLibrary.sub_atom_guard_5(Term arg0,
Term arg1,
Term arg2,
Term arg3,
Term arg4) |
boolean |
IOLibrary.tab_1(Term arg) |
boolean |
SocketLibrary.tcp_socket_client_open_2(Struct Address,
Term SocketTerm)
Create a Client_Socket and connect it to a specified address.
|
boolean |
SocketLibrary.tcp_socket_server_accept_3(Term ServerSock,
Term Client_Addr,
Term Client_Slave_Socket)
Accept a connection to the specified ServerSocket.
|
boolean |
SocketLibrary.tcp_socket_server_close_1(Term serverSocket)
Close a Server_Socket
|
boolean |
SocketLibrary.tcp_socket_server_open_3(Struct Address,
Term Socket,
Struct Options)
Create a ServerSocket bound to the specified Address.
|
boolean |
IOLibrary.tell_1(Term arg) |
boolean |
IOLibrary.telling_1(Term arg0) |
boolean |
BasicLibrary.term_equality_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.term_greater_than_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.term_less_than_2(Term arg0,
Term arg1) |
boolean |
BasicLibrary.text_concat_3(Term source1,
Term source2,
Term dest) |
boolean |
IOLibrary.text_from_file_2(Term file_name,
Term text)
reads a source text from a file.
|
boolean |
BasicLibrary.text_term_2(Term arg0,
Term arg1)
bidirectional text/term conversion.
|
boolean |
ThreadLibrary.thread_create_2(Term id,
Term goal) |
boolean |
ThreadLibrary.thread_detach_1(Term id) |
boolean |
ThreadLibrary.thread_get_msg_2(Term id,
Term msg) |
boolean |
ThreadLibrary.thread_has_next_1(Term id) |
boolean |
ThreadLibrary.thread_id_1(Term t) |
boolean |
ThreadLibrary.thread_join_2(Term id,
Term result) |
boolean |
ThreadLibrary.thread_next_sol_1(Term id) |
boolean |
ThreadLibrary.thread_peek_msg_2(Term id,
Term msg) |
boolean |
ThreadLibrary.thread_read_2(Term id,
Term result) |
boolean |
ThreadLibrary.thread_remove_msg_2(Term id,
Term msg) |
boolean |
ThreadLibrary.thread_send_msg_2(Term id,
Term msg) |
boolean |
ThreadLibrary.thread_sleep_1(Term millisecs) |
boolean |
ThreadLibrary.thread_wait_msg_2(Term id,
Term msg) |
boolean |
BasicLibrary.throw_1(Term error) |
Term |
ISOLibrary.truncate_1(Term val) |
boolean |
SocketLibrary.udp_receive(Term Socket,
Term Data,
Struct AddressFrom,
Struct Options) |
boolean |
SocketLibrary.udp_send_3(Term Socket,
Term Data,
Struct AddressTo) |
boolean |
SocketLibrary.udp_socket_close_1(Term Socket) |
boolean |
SocketLibrary.udp_socket_open_2(Struct Address,
Term Socket) |
boolean |
JavaLibrary.unregister_1(Term id)
Unregister an object with the specified id.
|
boolean |
BasicLibrary.var_1(Term t) |
boolean |
ISOIOLibrary.write_1(Term out_term) |
boolean |
IOLibrary.write_1(Term arg0) |
boolean |
ISOIOLibrary.write_2(Term stream_or_alias,
Term out_term) |
boolean |
IOLibrary.write_base_1(Term arg0) |
boolean |
ISOIOLibrary.write_canonical_1(Term out_term) |
boolean |
ISOIOLibrary.write_canonical_2(Term stream_or_alias,
Term out_term) |
boolean |
ISOIOLibrary.write_iso_1(Term out_term) |
boolean |
ISOIOLibrary.write_term_2(Term out_term,
Term options) |
boolean |
ISOIOLibrary.write_term_3(Term stream_or_alias,
Term out_term,
Term optionsTerm) |
boolean |
SocketLibrary.write_to_socket_2(Term Socket,
Term Msg)
Send Msg through the socket Socket.
|
boolean |
ISOIOLibrary.writeq_1(Term out_term) |
boolean |
ISOIOLibrary.writeq_2(Term stream_or_alias,
Term out_term) |
Modifier and Type | Method and Description |
---|---|
static void |
PJ.assertClause(PrologObject po,
Term clause) |
static void |
PJ.retractAllClauses(PrologObject po,
Term clause) |
static void |
PJ.retractClause(PrologObject po,
Term clause) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
PJLibrary.bindDynamicObject(Term id,
Object obj)
Tries to bind specified id to a provided java object.
|
boolean |
PJLibrary.destroy_object_1(Term id)
Destroy the link to a java object - called not directly, but from
predicate java_object (as second choice, for backtracking)
|
boolean |
PJLibraryNew.is_iterable_1(Term method) |
boolean |
PJLibrary.java_array_get_primitive_3(Term obj_id,
Term i,
Term what) |
boolean |
PJLibrary.java_array_set_primitive_3(Term obj_id,
Term i,
Term what) |
boolean |
PJLibrary.java_call_3(Term objId,
Term method_name,
Term idResult)
Calls a method of a Java object
|
boolean |
PJLibrary.java_class_4(Term clSource,
Term clName,
Term clPathes,
Term id)
Creates of a java class
|
boolean |
PJLibraryNew.java_field_1(Term method) |
boolean |
PJLibraryNew.java_get_3(Term objId,
Term fieldTerm,
Term what) |
boolean |
PJLibraryNew.java_method_1(Term method) |
boolean |
PJLibraryNew.java_method_call_6(Term objId,
Term method,
Term method_info,
Term idResult,
Term isProlog,
Term isReentrant) |
boolean |
PJLibrary.java_object_3(Term className,
Term argl,
Term id)
Creates of a java object - not backtrackable case
|
boolean |
PJLibraryNew.java_object_prolog_3(Term className,
Term args,
Term id) |
boolean |
PJLibraryNew.java_object_std_3(Term className,
Term args,
Term id) |
boolean |
PJLibraryNew.java_set_3(Term objId,
Term fieldTerm,
Term what) |
boolean |
PJLibraryNew.lookup_field_3(Term receiver,
Term name,
Term result) |
boolean |
PJLibraryNew.lookup_method_3(Term receiver,
Term method,
Term result) |
boolean |
PJLibraryNew.marshal_2(Term term,
Term marshalledTerm) |
void |
PJLibrary.onSolveBegin(Term goal) |
boolean |
PJLibraryNew.pj_assert_2(Term obj,
Term clause) |
boolean |
PJLibraryNew.pj_retract_2(Term obj,
Term clause) |
boolean |
PJLibraryNew.pj_retract_all_2(Term obj,
Term clause) |
boolean |
PJLibraryNew.prolog_class_1(Term classname) |
boolean |
PJLibraryNew.prolog_field_1(Term method) |
boolean |
PJLibraryNew.prolog_method_1(Term method) |
boolean |
PJLibraryNew.unmarshal_2(Term term,
Term unmarshalledTerm) |
boolean |
PJLibraryNew.unmarshal_method_2(Term term,
Term unmarshalledTerm) |
Modifier and Type | Method and Description |
---|---|
abstract Term |
Term.marshal() |
Term |
Nil.marshal() |
Term |
JavaObject.marshal() |
Term |
Bool.marshal() |
Modifier and Type | Method and Description |
---|---|
static <Z extends Term<?>> |
Term.unmarshal(Term t) |
Modifier and Type | Method and Description |
---|---|
SolveInfo |
PrologImpl.solve(Term g) |
SolveInfo |
Prolog.solve(Term g) |
Modifier and Type | Method and Description |
---|---|
SolveInfo |
Proxy.solve(Term term) |
SolveInfo |
Prolog.solve(Term th) |
Modifier and Type | Field and Description |
---|---|
static ToTree<Term> |
TermPanel.term2tree
Transforms prolog terms into trees.
|
static ToTree<Term> |
TermFrame.term2tree
Transforms prolog terms into trees.
|
Modifier and Type | Method and Description |
---|---|
void |
TermPanel.setTerm(Term term)
Sets a new prolog term.
|
void |
TermFrame.setTerm(Term term)
Sets a new prolog term.
|
Constructor and Description |
---|
SpyFrame(Theory theory,
Term goal)
Creates the main window for spying a prolog goal finding process.
|
TermFrame(Term term)
Constructs a new TermFrame.
|
TermPanel(Term term)
Constructs a new TermFrame.
|