Package | Description |
---|---|
alice.tuprologx.pj.model |
Modifier and Type | Class and Description |
---|---|
class |
Clause<H extends Term<?>,B extends Term<?>> |
class |
Compound1<X1 extends Term<?>> |
class |
Compound2<X1 extends Term<?>,X2 extends Term<?>> |
class |
Compound3<X1 extends Term<?>,X2 extends Term<?>,X3 extends Term<?>> |
Modifier and Type | Method and Description |
---|---|
<Z extends Term<?>,R2 extends Cons<Z,? extends Compound<?>>> |
Cons.append(Z z) |
static <Z extends Cons<?,?>> |
Cons.make(java.lang.String f,
Term<?>[] termList) |
Modifier and Type | Method and Description |
---|---|
<Z extends Term<?>,R2 extends Cons<Z,? extends Compound<?>>> |
Cons.append(Z z) |