Соотношение между процедурным и декларативным смыслом

Создавая пролог программы всегда надо помнить о процедурном и декларативном смысле.

Декларативный смысл касается отношений, определенных в программе. Другими словами декларативный смысл определяет, что должно быть результатом программы.

С другой стороны, процедурный смысл определяет, как этот результат может быть достигнут, т.е., как реально отношения обрабатываются Прологом.

Организация работы со списками в Прологе

Список записывается на Прологе [a,b,c], т.е. элементы записываются в квадратных скобках через запятую.

Элементами списка могут быть любые термы.

Пустой список – представляется, как   [ ].