Вопрос по прологу

Спроси у него сам ;)

L1 = [a,b], L2 = [c,d]

append([a | b], [c,d], [a | L3]) :- append ([b], [c,d], L3)

append ([b | []], [c,d], [b | L4]) :- append ([], [c,d], L4)

append ([], [c,d], [c,d])

L4 = [c,d], L3 = [ b | L4] = [b, c, d], соответсвенно результат [a | L3] = [a, b, c, d]

В общем, читайте книжки по прологу :)))

Какую посоветуете (на русском)?

Вариант один -- Иван Братко "Алгоритмы искусственного интеллекта на языке PROLOG"