Java/Scala - Prolog integration Running main programs sbt "runMain it.unibo.u12lab.code.Permutations"