kdrag.solvers.prolog.prolog
===========================

.. currentmodule:: kdrag.solvers.prolog

.. autofunction:: prolog