An ugly, untested and mostly unsatifying translator from λProlog code to LaTex inference rules Usage (works with python 3.6) : python lp2tex.py mymodule.mod