Интеллектуальные информационные системы. Макаренко С.И. - 137 стр.

     терма в R равна степени первого терма в Р (или Q). Хвост R получается
     при сложении хвоста Р и хвоста Q. Например, если Р и Q имеют вид
          Р(х)=2х+3х^3
          Q(x)=3x+4x^4
     то первый терм многочлена R(х) равен 5х (результату сложения
     первого терма в Р(х) с первым термом в Q(x)). Хвост R(x) равен
     3х^3+4х^4 (результату сложения хвоста Р(х) и хвоста Q(x));
     4. Степени первых термов в Р и Q одинаковы, но сумма коэффициентов
     равна нулю. В данном случае многочлен R равен результату сложения
     хвоста Р с хвостом Q. Например, если
          р(х)=2+2х
          Q(x)=2-3x^2
          то
          R(x)=2x-3x^2
     (это результат сложения хвостов многочленов Р(х) и Q(х)).
     Рассмотренный      процесс     сложения      многочленов      можно
непосредственно записать на языке Пролог.
          /* Граничные условия
          слож_мн([], Q Q).
          слож_мн(P, [], P).
          /* Рекурсивное условие
          /* (a)
          слож_мн([x(Pc, Pp)|Pt], [x(Qc, Qp)|Qt],
          [x(Pc,Pp)IRt]) :-
          PpQp,
          слож_мн(Рt, [х(Qс,Qр)|Qt], Rt).
          /*(б)
          слож_мн([x(Pc, Pp)|Pt], [x(Qc, Qp)|Qt],
          [x(Qc, Qp)|Rt]) :-
          PpQp,
          слож_мн([x(Pc, Pp)|Pt], Qt, Rt).
          /*(в)
          слож_мн([x(Pc, Pp)|Pt], [х(Qc,Pp)|Qt],
          [x(Rc, Pp)|Rt]) :-
          Rc is Pc+Qc,
          Rc =\= 0,



                                   136