kdrag.solvers.prolog.interp\_pred
=================================

.. currentmodule:: kdrag.solvers.prolog

.. autofunction:: interp_pred