Package | Description |
---|---|
alice.tuprologx.pj.model |
Modifier and Type | Class and Description |
---|---|
class |
Compound<X extends Compound<?>> |
class |
Cons<H extends Term<?>,R extends Compound<?>> |
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<?>> |
class |
Cons<H extends Term<?>,R extends Compound<?>> |
class |
JavaTerm<O> |
class |
Nil |
Modifier and Type | Method and Description |
---|---|
<Z extends Term<?>,R2 extends Cons<Z,? extends Compound<?>>> |
Cons.append(Z z) |