| runDirective(Struct) |   | 55% | | 60% | 3 | 6 | 9 | 23 | 0 | 1 |
| unconsultLib(Library) | | 0% | | 0% | 3 | 3 | 10 | 10 | 1 | 1 |
| setDynamic(String) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| getTheory(boolean) | | 28% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| retract(Struct, String) | | 87% | | 66% | 2 | 4 | 2 | 10 | 0 | 1 |
| getLastConsultedTheory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getLibrary(String) | | 90% | | 75% | 1 | 3 | 1 | 6 | 0 | 1 |
| consult(String) | | 97% | | 75% | 1 | 3 | 1 | 9 | 0 | 1 |
| consultLib(Library) | | 100% | | 100% | 0 | 3 | 0 | 11 | 0 | 1 |
| LibraryAndTheoryManager(Prolog) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| find(String) | | 100% | | 100% | 0 | 2 | 0 | 2 | 0 | 1 |
| assertA(Clause, String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| assertZ(Clause, String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| abolish(String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isLibraryRule(String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| dynamicPredicateIndicators() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCurrentLibraries() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| clear() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |