solve/it.unibo.tuprolog.solve.library/Runtime/minus

minus

abstract operator fun minus(library: Library): Runtime

Removes the library from this library group.

Note: as currently implemented, this throws it.unibo.tuprolog.solve.library.exception.NoSuchALibraryException when library's alias is loaded, and silently returns an unchanged Runtime when it is not -- the opposite of what the exception's name suggests; verify against RuntimeImpl.minus before relying on this.

abstract operator fun minus(alias: String): Runtime

Removes the library aliased alias from this library group.

Note: see minus's caveat -- as currently implemented this throws it.unibo.tuprolog.solve.library.exception.NoSuchALibraryException when alias is loaded, and is a no-op when it is not.

abstract operator fun minus(aliases: Iterable<String>): Runtime

Same as minus for a single alias, but removes every library aliased by any of aliases.