libraryOf
fun libraryOf(alias: String? = null, item1: AbstractWrapper<*>, vararg items: AbstractWrapper<*>): Library
Assembles a Library out of one or more AbstractWrappers (i.e. it.unibo.tuprolog.solve.primitive.PrimitiveWrappers, it.unibo.tuprolog.solve.function.FunctionWrappers, or it.unibo.tuprolog.solve.rule.RuleWrappers), optionally named alias. Useful to declare a small, ad-hoc Library without hand-writing an implementation.
Throws
if any of item1/items is an AbstractWrapper subtype other than the three above.