solve/it.unibo.tuprolog.solve.sideffects/SideEffectFactory/loadLibrary

loadLibrary

open fun loadLibrary(alias: String, library: Library): SideEffect.LoadLibrary
Content copied to clipboard
open fun loadLibrary(aliasedLibrary: AliasedLibrary): SideEffect.LoadLibrary
Content copied to clipboard