Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.interfaces | |
alice.tuprolog.lib | |
alice.tuprologx.pj.engine | |
alice.tuprologx.pj.lib | |
alice.tuprologx.pj.model |
Modifier and Type | Method and Description |
---|---|
Struct |
Struct.getArg(java.lang.String name)
Gets an argument inside this structure, given its name
|
Struct |
ExecutionContext.getClause() |
Struct |
ExecutionContext.getCurrentGoal() |
Struct |
JavaException.getException() |
Struct |
ExecutionContext.getHeadClause() |
Struct |
StateEnd.getResultGoal() |
Struct |
Struct.listTail()
Gets the tail of this structure, which is supposed to be a list.
|
Modifier and Type | Method and Description |
---|---|
boolean |
TheoryManager.abolish(Struct pi)
removing from dbase all the clauses corresponding to the
predicate indicator passed as a parameter
|
void |
TheoryManager.addStartGoal(Struct g)
add a goal eventually defined by last parsed theory.
|
void |
TheoryManager.assertA(Struct clause,
boolean dyn,
java.lang.String libName,
boolean backtrackable)
inserting of a clause at the head of the dbase
|
void |
TheoryManager.assertZ(Struct clause,
boolean dyn,
java.lang.String libName,
boolean backtrackable)
inserting of a clause at the end of the dbase
|
boolean |
Prolog.defineFlag(java.lang.String name,
Struct valueList,
Term defValue,
boolean modifiable,
java.lang.String libName)
Defines a new flag
|
boolean |
PrimitiveManager.evalAsDirective(Struct d) |
void |
PrimitiveInfo.evalAsDirective(Struct g)
evaluates the primitive as a directive
|
Term |
PrimitiveInfo.evalAsFunctor(Struct g)
evaluates the primitive as a functor
|
boolean |
PrimitiveInfo.evalAsPredicate(Struct g)
evaluates the primitive as a predicate
|
ClauseInfo |
TheoryManager.retract(Struct cl)
removing from dbase the first clause with head unifying with clause
|
void |
TermVisitor.visit(Struct s) |
Constructor and Description |
---|
Theory(Struct clauseList)
Creates a theory from a clause list
|
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_open_3(Struct Address,
Term Socket,
Struct Options) |
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_open_2(Struct Address,
Term Socket) |
Modifier and Type | Method and Description |
---|---|
protected Struct |
OOLibrary.generateFreshId()
Generates a fresh numeric identifier
|
Struct |
OOLibrary.register(java.lang.Object obj)
Registers an object, with automatic creation of the identifier.
|
Struct |
OOLibrary.registerDynamic(java.lang.Object obj)
Registers an object for the query life-time, with the automatic
generation of the identifier.
|
Modifier and Type | Method and Description |
---|---|
boolean |
SocketLibrary.aread_from_socket_2(Term Socket,
Struct Options)
Asynchronous read from Socket.
|
java.lang.Object |
OOLibrary.getRegisteredDynamicObject(Struct id)
Gets a registered dynamic object (returns null if not presents)
|
java.lang.Object |
OOLibrary.getRegisteredObject(Struct id)
Gets the reference to an object previously registered
|
boolean |
SocketLibrary.read_from_socket_3(Term Socket,
Term Msg,
Struct Options)
Synchronous reading from Socket.
|
boolean |
OOLibrary.register(Struct id,
java.lang.Object obj)
Register an object with the specified id.
|
void |
OOLibrary.registerDynamic(Struct id,
java.lang.Object obj)
Registers an object only for the running query life-time
|
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_open_3(Struct Address,
Term Socket,
Struct Options)
Create a ServerSocket bound to the specified Address.
|
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_open_2(Struct Address,
Term Socket) |
boolean |
OOLibrary.unregister(Struct id)
Unregisters an object, given its identifier
|
boolean |
OOLibrary.unregisterDynamic(Struct id)
Unregister the object, only for dynamic case
|
Modifier and Type | Method and Description |
---|---|
Struct |
PJProlog.registerJavaObject(java.lang.Object o) |
static Struct |
PJ.registerJavaObject(java.lang.Object o) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
PJProlog.getJavaObject(Struct t) |
static java.lang.Object |
PJ.getRegisteredJavaObject(Struct t) |
Modifier and Type | Method and Description |
---|---|
protected Struct |
PJLibrary.generateFreshId()
Generates a fresh numeric identifier
|
Struct |
PJLibrary.register(java.lang.Object obj)
Registers an object, with automatic creation of the identifier.
|
Struct |
PJLibrary.registerDynamic(java.lang.Object obj)
Registers an object for the query life-time,
with the automatic generation of the identifier.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
PJLibrary.getRegisteredDynamicObject(Struct id)
Gets a registered dynamic object
(returns null if not presents)
|
java.lang.Object |
PJLibrary.getRegisteredObject(Struct id)
Gets the reference to an object previously registered
|
boolean |
PJLibrary.register(Struct id,
java.lang.Object obj)
Register an object with the specified id.
|
void |
PJLibrary.registerDynamic(Struct id,
java.lang.Object obj)
Registers an object only for the running query life-time
|
boolean |
PJLibrary.unregister(Struct id)
Unregisters an object, given its identifier
|
boolean |
PJLibrary.unregisterDynamic(Struct id)
Unregister the object, only for dynamic case
|
Modifier and Type | Method and Description |
---|---|
Struct |
Theory.marshal() |
Struct |
List.marshal() |
Struct |
JavaTerm.marshal()
Creates a new instance of JavaTerm
|
Struct |
Cons.marshal() |
Struct |
Clause.marshal() |
Struct |
Atom.marshal() |
Constructor and Description |
---|
Clause(Struct s) |