Class Hierarchy
- java.lang.Object
- alice.tuprolog.Library (implements alice.tuprolog.IPrimitives, java.io.Serializable)
- alice.tuprolog.lib.TheoryLibrary
- org.prolog4j.tuprolog.impl.libraries.ListsLibrary
- alice.tuprolog.lib.TheoryLibrary
- alice.tuprolog.Library (implements alice.tuprolog.IPrimitives, java.io.Serializable)