Термин

Зубарев А.Ю. Анализ типов в трансляторе с языка предикатного программирования  //  № 9, 2017

Шелехов В.И. Списки и строки в предикатном программировании  //  № 3, 2014