test-solve/it.unibo.tuprolog.solve/CustomTheories/ifThenElse2ToSolution

ifThenElse2ToSolution

val ifThenElse2ToSolution: List<Pair<Struct, List<Solution>>>

Same if-then-else request goals as ifThenElse1ToSolution, but run over ifThenTheory2 (a/1 reversed).