Worked: prolog, level_1, need a little fixes. So many changes in code.