Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.lib | |
alice.tuprologx.pj.engine | |
alice.tuprologx.pj.lib | |
alice.tuprologx.pj.model |
Modifier and Type | Method and Description |
---|---|
Struct |
Struct.getArg(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,
String libName,
boolean backtrackable)
inserting of a clause at the head of the dbase
|
void |
TheoryManager.assertZ(Struct clause,
boolean dyn,
String libName,
boolean backtrackable)
inserting of a clause at the end of the dbase
|
boolean |
Prolog.defineFlag(String name,
Struct valueList,
Term defValue,
boolean modifiable,
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 |
---|---|
protected Struct |
JavaLibrary.generateFreshId()
Generates a fresh numeric identifier
|
Struct |
JavaLibrary.register(Object obj)
Registers an object, with automatic creation of the identifier.
|
Struct |
JavaLibrary.registerDynamic(Object obj)
Registers an object for the query life-time, with the automatic
generation of the identifier.
|
Modifier and Type | Method and Description |
---|---|
Object |
JavaLibrary.getRegisteredDynamicObject(Struct id)
Gets a registered dynamic object (returns null if not presents)
|
Object |
JavaLibrary.getRegisteredObject(Struct id)
Gets the reference to an object previously registered
|
boolean |
JavaLibrary.register(Struct id,
Object obj)
Register an object with the specified id.
|
void |
JavaLibrary.registerDynamic(Struct id,
Object obj)
Registers an object only for the running query life-time
|
boolean |
JavaLibrary.unregister(Struct id)
Unregisters an object, given its identifier
|
boolean |
JavaLibrary.unregisterDynamic(Struct id)
Unregister the object, only for dynamic case
|
Modifier and Type | Method and Description |
---|---|
Struct |
PJProlog.registerJavaObject(Object o) |
static Struct |
PJ.registerJavaObject(Object o) |
Modifier and Type | Method and Description |
---|---|
Object |
PJProlog.getJavaObject(Struct t) |
static Object |
PJ.getRegisteredJavaObject(Struct t) |
Modifier and Type | Method and Description |
---|---|
protected Struct |
PJLibrary.generateFreshId()
Generates a fresh numeric identifier
|
Struct |
PJLibrary.register(Object obj)
Registers an object, with automatic creation of the identifier.
|
Struct |
PJLibrary.registerDynamic(Object obj)
Registers an object for the query life-time,
with the automatic generation of the identifier.
|
Modifier and Type | Method and Description |
---|---|
Object |
PJLibrary.getRegisteredDynamicObject(Struct id)
Gets a registered dynamic object
(returns null if not presents)
|
Object |
PJLibrary.getRegisteredObject(Struct id)
Gets the reference to an object previously registered
|
boolean |
PJLibrary.register(Struct id,
Object obj)
Register an object with the specified id.
|
void |
PJLibrary.registerDynamic(Struct id,
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) |