kdrag.solvers.prolog.run\_string ================================ .. currentmodule:: kdrag.solvers.prolog .. autofunction:: run_string