Package | Description |
---|---|
alice.tuprologx.pj.engine | |
alice.tuprologx.pj.meta | |
alice.tuprologx.pj.model |
Class and Description |
---|
Term |
Theory |
Class and Description |
---|
Clause |
Term |
Theory |
Class and Description |
---|
Atom |
Clause |
Compound |
Compound2 |
Cons |
List |
Term |
Theory |