kdrag.theories.logic.robinson
=============================

.. automodule:: kdrag.theories.logic.robinson

   
   
   

   
   
   

   
   
   

   
   
   





.. literalinclude:: ../../kdrag/theories/logic/robinson.py
   :language: python