Fix read_term Behavior

[kyledewey]

We need to pass dotlists(true) to read_term on versions 7 or greater of SWI-PL, or else lists get parsed as being made of [|] elements as opposed to dot (.). This option should be passed only on SWI-PL version 7; prior versions and GNU Prolog break when given this option (amazing what happens when you completely deviate from the standard...).

[kyledewey]

For now, passing the --traditional option to version 7 of SWI-PL is a workaround for this. I haven't looked too deeply into this, but doing:

...,
read_term(A, B, [dotlists(true)]),
...

...is insufficient for fixing this problem, despite the fact that there is only one point in the code where we read terms from. It might be the case that it gets read in traditionally this way but then gets converted back later, though this is just a guess at this point.