Как показать обязательные поля на форме окон

Что означает append( A, B, C)? Это означает

 A=[..........]
           B=[.........]
 C=[...................]

Что означает

     length( B, 2)

? Это означает

            B = [X | B1           ],
            length(  B1, 1)

и так, что означает

            B = [X | B1           ],
                     B1 = [Y | B2],
            length(            B2,  0)
  % i.e.
            B = [X | B1           ],
                     B1 = [Y | B2],
                               B2 = []
  % i.e.
            B = [X | B1           ],
                     B1 = [Y | []]
  % i.e.
            B = [X |      [Y | []]]  = [X | [Y]]
              = [X ,       Y | [] ]
              = [X,        Y      ]

и так

B = [X, Y], append( A, B, C)

означает

 A=[..........]
           B=[XY]
 C=[..........XY]

Я думаю, что это понятно, что это значит. Это означает, что мы можем определить

one_before_last(C, X) :-
  % you can finish this up now!

. И как мы увидели, что B = [_, _] означает length( B, 2) (т.е. мы отслеживаем наши уравнения в обратном направлении), мы можем использовать другие вещи в качестве аргументов для length. Чтобы решить ваши другие заявленные проблемы.