solve/it.unibo.tuprolog.solve/SolverBuilder/library

library

abstract fun library(alias: String?, item1: AbstractWrapper<*>, vararg items: AbstractWrapper<*>): SolverBuilder

Adds an anonymous (or aliased) library, assembled on the fly out of item1 and items (via it.unibo.tuprolog.solve.libraryOf), to runtime.

abstract fun library(item1: AbstractWrapper<*>, vararg items: AbstractWrapper<*>): SolverBuilder

Same as library, generating an anonymous alias automatically.