Язык Пролог для искусственного интеллекта

Представление списков
Представление списка [энн теннис том лыжи] в виде дерева
Некоторые операции над списками
Принадлежность к списку
Сцепление ( конкатенация)
Конкатенация списков

Процедура принадлежит1
Упражнения
Добавление элемента
Удаление элемента
Подсписок
Отношения принадлежит и подсписок
Один из способов построения перестановки списка [X | L]
Упражнения
Операторная запись (нотация)
Представление выражения 2*а+b*с в виде дерева



Две интерпретации
Множество предопределенных операторов
Интерпретация терма ~(А В) === ~A v ~В
Упражнения
Арифметические действия
Упражнения
Резюме
Содержание раздела