Шина VLB (VESA Local Bus)
PCI
Парадигмы программирования
Язык Prolog как язык логического программирования
Синтаксис Пролог - программы. Правила, структуры, атома, переменные.
Операторы и списки. Арифметика в языке Пролог.
Сопоставление, эквивалентность
Чистое лямбда-исчисление (определение, правила вывода, редексы, порядок редукций).
Семантика программирования на
Прологе.
repeat, отсечение,
3 случая использования отсечения
Предикаты для работы с
утверждениями, структурами, атомами.
Встроенные предикаты для
ввода/вывода, работа с файлами
Предикаты порождения
Отладка программ (ошибки,
модель отладки).
Функции и программирование.
S –
выражения. Списки. Точечная запись. Функции для работы со списками.
Локальные определение (простые
и рекурсивные).
Функции высших порядков и l-выражения.
Представление функциональных
программ в виде S-выражений.
Выполнение функциональной
программы (контекст, замыкание)
