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