full
0.31.18
jvm
full
/
it.unibo.tuprolog
/
PrologIDE
/
main
main
jvm
open
fun
main
(
args
:
Array
<
String
>
)