| main(String[]) |  | 0% | | 0% | 4 | 4 | 20 | 20 | 1 | 1 |
| evalPrimitive(PrimitiveInfo, Object[]) |  | 25% | | 25% | 3 | 5 | 13 | 18 | 0 | 1 |
| getPrologFlagList() | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| removePrimitives(Library) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| solve(String) | | 47% | | 33% | 3 | 4 | 7 | 13 | 0 | 1 |
| setDynamicPredicateIndicator(String) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| loadLibrary(Library) | | 45% | | 50% | 1 | 2 | 3 | 8 | 0 | 1 |
| unloadLibrary(String) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| retract(Struct) | | 69% | | 50% | 2 | 3 | 1 | 7 | 0 | 1 |
| assertZ(Clause) | | 50% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| assertA(Clause) | | 50% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| abolish(String) | | 41% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| find(String) | | 39% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| Prolog(String) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| opNew(String, String, int) | | 83% | | 85% | 2 | 8 | 2 | 15 | 0 | 1 |
| getAndResetWarnings() | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| setTheory(String) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| Prolog(String[]) | | 91% | | 75% | 1 | 3 | 3 | 20 | 0 | 1 |
| getFlag(String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| solveNext() | | 82% | | 50% | 2 | 3 | 1 | 5 | 0 | 1 |
| getLastConsultedTheory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setPrintStream(PrintStream) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| resetWarningList() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getPrintStream() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| staticDBContainsPredicate(String) | | 84% | | 50% | 2 | 3 | 0 | 1 | 0 | 1 |
| getPrimitives(Library) | | 99% | | 95% | 1 | 11 | 1 | 25 | 0 | 1 |
| match(Term, Term) | | 100% | | 100% | 0 | 12 | 0 | 16 | 0 | 1 |
| addPrimitives(Library) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| solve(Struct) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| Prolog() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| hasPrimitive(String) | | 100% | | 100% | 0 | 3 | 0 | 1 | 0 | 1 |
| loadLibrary(String) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| onSolveBegin(Term) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| defineFlag(String, Struct, Term, boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getFlagValue(String) | | 100% | | 100% | 0 | 2 | 0 | 2 | 0 | 1 |
| onSolveEnd() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| opNew(String, int, int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getPrimitive(Struct) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getPrimitiveExp(Struct) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getOperatorPriority(String, int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| warn(String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addTheory(String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getTheory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getLibrary(String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| hasPrimitiveExp(String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| dynamicPredicateIndicators() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| clearTheory() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getCurrentLibraries() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCurrentOperators() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| hasOpenAlternatives() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |