Set up the Prolog interpreter with the improved interactive top-level.
Added extra checks to ensure there are no extra solutions on test cases, but disabled for L2 as termination conditions not implemented on that machine.
Improved the trace on/off scripts.
Correction to the extra solutions check; must read and discard the solutions or loop does not advance.
Moved extra solutions check outside the expected solutions loop. Added extra soltuion to disjunction of true and fail test, since it has 2. Now just the infinite loops in WAM are failing.
Set fail condition on list unification to return true. All list iteration tests now passing.
Got list iteration test passing, there is a problem with variables in the test cases not being fresh within each clause, still to be fixed.