IOBase
InputStream
Reader
TermReader
ClausesReader
it.unibo.tuprolog.collections
:theory
tuprolog.solve
tuprolog.theory
tuprolog.unify
tuprolog.core
:solve