Path Lines of Code src/lang/Arithmetic.java 149 src/lang/BlockPredicate.java 5 src/lang/BufferingPrologControl.java 76 src/lang/ChoicePointFrame.java 221 src/lang/ChoicePointStack.java 42 src/lang/ClosureTerm.java 44 src/lang/DoubleTerm.java 152 src/lang/Failure.java 22 src/lang/HashtableOfTerm.java 14 src/lang/IntegerTerm.java 205 src/lang/InternalDatabase.java 79 src/lang/JavaObjectTerm.java 61 src/lang/ListTerm.java 159 src/lang/NumberTerm.java 44 src/lang/Operation.java 5 src/lang/OutOfLoop.java 11 src/lang/OutOfScope.java 11 src/lang/Predicate.java 63 src/lang/PredicateEncoder.java 45 src/lang/Prolog.java 178 src/lang/PrologClassLoader.java 140 src/lang/PrologControl.java 129 src/lang/PrologMachineCopy.java 51 src/lang/StructureTerm.java 134 src/lang/Success.java 12 src/lang/SymbolTerm.java 171 src/lang/Term.java 82 src/lang/Token.java 377 src/lang/Trail.java 51 src/lang/Undoable.java 4 src/lang/VariableTerm.java 124 src/lang/package.html 12