ulkb.Theory.get\_prelude
========================

.. currentmodule:: ulkb

.. automethod:: Theory.get_prelude