структура
список
внесение элемента
голова
длина
добавление элемента ещё 1 ссылка
конкатенация
перестановки
подсписок
представление
принадлежность ещё 1 ссылка
разбиение
разностное представление
сортировка
удаление элемента
хвост
справочник
двоичный
AVL
2-3
статические оценки
степень доверия
стиль программирования
комментарии
стилистические правила
структурное программирование
структурные объекты
структуры в Прологе
субъективная уверенность
Т
таблица советов
тело предложения
терм
включение
копия ещё 1 ссылка
унификация
Ф
файл user
файлы
в Прологе
термов
факты в Прологе
формула Хорна
форсированное дерево
функтор
арность
главный
Х
хвост списка
Ц
цель
достижима
имеет неуспех
логически следует
недостижима
терпит неудачу
успешна
цели
вычисление списка
дизъюнкция
конъюнкция
Ч
числа в Прологе
чистый Пролог
Ш
шаг резолюции ещё 1 ссылка
Э
