solve/it.unibo.tuprolog.solve.sideffects/SideEffect/UnloadLibraries/UnloadLibraries

UnloadLibraries

fun UnloadLibraries(aliases: List<String>)
Content copied to clipboard
fun UnloadLibraries(aliases: Sequence<String>)
Content copied to clipboard
fun UnloadLibraries(vararg aliases: String)
Content copied to clipboard
fun UnloadLibraries(aliases: Iterable<String>)
Content copied to clipboard