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