Package | Description |
---|---|
alice.tuprologx.pj.model |
Modifier and Type | Class and Description |
---|---|
class |
Theory |
Modifier and Type | Field and Description |
---|---|
static List<?> |
List.NIL |
Modifier and Type | Method and Description |
---|---|
List<X> |
List.getTail() |
List<Atom> |
Atom.split(String regexp) |
List<Atom> |
Atom.toCharList() |
static List<Atom> |
List.tokenize(StringTokenizer stok) |