Modify Prolog-output file (it must be list, but it was singleton list of
list).
Unify some output format.
Add "determined values" at the end of ambiguous file.
Add "determined outputs" file.