Списъци в Пролог

В императивните езици по правило масивите са основната структура на данните. В Prolog това са списъци.

Списък - последователност от елементи от същия тип. Определя се чрез изброяване на елементи, разделени със запетаи в квадратни скоби. например, [jack, john, fred] или [3,1,8,0,34,9] или ['a', 'b', 'c', 'd'].

Обозначението [] означава празен списък, т.е. без елементи.

Елементите от списъка могат да бъдат от всякакъв тип (числа, низове, символи). По-специално елементите от списъка могат да бъдат самите списъци.

За да използвате списък, първо трябва да дефинирате неговия тип. Новите типове данни, които потребителят въвежда, са описани в раздела Домейни (подобно на раздел Тип в Паскал и поставен в началото на програмата).

например (звездичка показва списък),

intlist = цяло число *% нов тип - списък с цели числа

symlist = символ *% нов тип - списък на низове

Всеки списък, с изключение на празен, може да бъде разделен на „глава“ - първият елемент от този списък и „опашка“ - всички останали елементи. Опашката на списъка винаги е списък, а главата винаги е елемент.

---