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