ulkb.Theory.load

Theory.load(mod_name)

Loads module into theory.

Parameters:

mod_name – Module name.

Returns:

The loaded module.