alice.tuprologx.pj.model
Classes
Atom
Bool
Clause
Compound
Compound1
Compound2
Compound3
Cons
Double
Int
JavaObject
JavaTerm
List
Nil
Term
Theory
Var