Шпаргалка: Экзаменационные билеты по информатике 2000/2001 учебный год

родителях (Х, клавдия), родитель (Х, пульхерия)

означает конъюнкцию целевых утверждений:

«X — родитель Клавдии» и «X» — родитель Пульхерии».

Кроме утверждений, касающихся отношений между конкретными объектами (такие утверждения предполагаются истинными и называются фактами ), возможно описать в Пролог-программе правила — утверждения, истинность которых зависит от определенных условий, например отношение бабушкаилидедушка можно записать на Прологе так:

бабушкаилидедушка(Х, Z) — родитель(Х, Y),

родитель(¥, Z).

Процесс, в результате которого Пролог-система устанавливает, удовлетворяет ли объект запросу, включает в себя логический вывод и исследование различных вариантов. Все это делается автоматически самой Пролог-системой и, как правило, скрыто от пользователя.

Наиболее часто используемой структурой в Прологе являются списки . Список либо пуст, либо состоит из головы и хвоста, который, в свою очередь, также является списком. Как правило, для списков существует специальная нотация и определены операции: определения принадлежности элемента списку, конкатенация, добавление элемента, удаление элемента, удаление подсписка и т. п.

Билет № 5

Операционная система компьютера (назначение, состав, загрузка).