allPrologTestingTheoriesToRespectiveGoalsAndSolutions
fun allPrologTestingTheoriesToRespectiveGoalsAndSolutions(callErrorSignature: Signature, nafErrorSignature: Signature, notErrorSignature: Signature): Map<Theory, List<Pair<Struct, List<Solution>>>>
Collection of all Prolog example (custom created and from Prolog Standard) databases and their respective callable goals with expected solutions