Enter Prolog Code

Debug information:
Show also resolutions, not only hypotheses with debug information
Show current hypothesis
Show new hypothesis
Show accepted hypothesis

Memory peak usage: 4 MB