Package | Description |
---|---|
alice.tuprologx.pj.engine | |
alice.tuprologx.pj.meta | |
alice.tuprologx.pj.model |
Modifier and Type | Class and Description |
---|---|
class |
PrologArg<X extends Term<X>> |
class |
PrologSolution<Q extends Term<?>,S extends Term<?>> |
class |
PrologSolution<Q extends Term<?>,S extends Term<?>> |
Modifier and Type | Method and Description |
---|---|
<Z extends Term<?>> |
PrologSolution.getTerm(String varName) |
<Z extends Term<?>> |
PrologSolution.getVarValue(String varName) |
<G extends Term<?>,S extends Term<?>> |
PJProlog.solve(G g) |
<G extends Term<?>,S extends Term<?>> |
PJProlog.solve(G g) |
<G extends Term<?>,S extends Term<?>> |
PJProlog.solveAll(G query) |
<G extends Term<?>,S extends Term<?>> |
PJProlog.solveAll(G query) |
<G extends Term<?>,S extends Term<?>> |
PJProlog.solveNext() |
<G extends Term<?>,S extends Term<?>> |
PJProlog.solveNext() |
Modifier and Type | Method and Description |
---|---|
Term<?> |
PrologInvocationContext.buildGoal(Object[] args) |
Term<X> |
PrologArg.getTerm() |
Modifier and Type | Method and Description |
---|---|
List<Term<?>> |
PrologSolution.getBindingVars() |
Modifier and Type | Method and Description |
---|---|
protected void |
PrologArg.setTerm(Term<X> o) |
Constructor and Description |
---|
PrologArg(Term<X> arg,
TermKind[] annotations)
Creates a new instance of PrologArg
|
Modifier and Type | Method and Description |
---|---|
<T extends Term<?>> |
PrologMetaField.getValue(PrologObject o) |
<T extends Term<?>> |
PrologMetaField.setValue(PrologObject o,
T t) |
Modifier and Type | Method and Description |
---|---|
Object |
PrologMetaMethod.invoke(PrologObject o,
Term<?>... args) |
Modifier and Type | Class and Description |
---|---|
class |
Clause<H extends Term<?>,B extends Term<?>> |
class |
Clause<H extends Term<?>,B extends Term<?>> |
class |
Compound1<X1 extends Term<?>> |
class |
Compound2<X1 extends Term<?>,X2 extends Term<?>> |
class |
Compound2<X1 extends Term<?>,X2 extends Term<?>> |
class |
Compound3<X1 extends Term<?>,X2 extends Term<?>,X3 extends Term<?>> |
class |
Compound3<X1 extends Term<?>,X2 extends Term<?>,X3 extends Term<?>> |
class |
Compound3<X1 extends Term<?>,X2 extends Term<?>,X3 extends Term<?>> |
class |
Cons<H extends Term<?>,R extends Compound<?>> |
class |
List<X extends Term<?>> |
class |
Term<X extends Term<?>> |
class |
Var<X extends Term<?>> |
Modifier and Type | Class and Description |
---|---|
class |
Atom |
class |
Bool |
class |
Clause<H extends Term<?>,B extends Term<?>> |
class |
Compound<X extends Compound<?>> |
class |
Compound1<X1 extends Term<?>> |
class |
Compound2<X1 extends Term<?>,X2 extends Term<?>> |
class |
Compound3<X1 extends Term<?>,X2 extends Term<?>,X3 extends Term<?>> |
class |
Cons<H extends Term<?>,R extends Compound<?>> |
class |
Double |
class |
Int |
class |
JavaObject<O> |
class |
JavaTerm<O> |
class |
List<X extends Term<?>> |
class |
Nil |
class |
Theory |
class |
Var<X extends Term<?>> |
Modifier and Type | Method and Description |
---|---|
<Z extends Term<?>,R2 extends Cons<Z,? extends Compound<?>>> |
Cons.append(Z z) |
static <Z extends Term<?>> |
Term.fromJava(Object o) |
static <Z extends Term<?>> |
Term.unmarshal(Term t) |
Modifier and Type | Method and Description |
---|---|
Iterator<Term<?>> |
Cons.iterator() |
Modifier and Type | Method and Description |
---|---|
static <Z extends Cons<?,?>> |
Cons.make(String f,
Term<?>[] termList) |
Constructor and Description |
---|
Cons(String name,
Term<?>[] termArr) |
Constructor and Description |
---|
Cons(String name,
List<Term<?>> termList) |
JavaTerm(Class<?> _class,
Collection<Term<?>> properties) |