Python program

Transforming a trace format file into prolog code

Fixed a couple bugs, updated the program to output the right format for the focused prover! Latest version is in my prolog workspace, in convertTrace.py

• Unforseen issue: on problems larger than pigeonhole6, I get maximum recursion depth exceeded error. I see on some answers online that I might be able to resolve this by increasing the recursion depth, but I should also consider whether it might be bad code to begin with.