| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 281 of 281 | 0% | 68 of 68 | 0% | 54 | 54 | 79 | 79 | 20 | 20 |
| unify(PrologTerm) | | 0% | | 0% | 14 | 14 | 31 | 31 | 1 | 1 |
| compareTo(PrologTerm) | | 0% | | 0% | 14 | 14 | 27 | 27 | 1 | 1 |
| isTrueType() | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| isFalseType() | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| isNullType() | | 0% | | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| isVoidType() | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| isObjectType() | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| AbstractCompounds(int, PrologProvider) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| isReference() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isAtom() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isNumber() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isFloat() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isInteger() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isDouble() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isLong() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isVariable() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isNil() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isAtomic() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isCompound() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isEvaluable() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |