Назад | Содержание| Вперёд
1. 2. Расширение программы-примера спомощью правил
Нашу программу-пример можно легко расширитьмногими интересными способами. Давайте спервадобавим информацию о том, каков пол людей,участвующих в отношении родитель. Этоможно сделать, просто добавив в нее следующиефакты:
женщина( пам).
мужчина( том).
мужчина( боб).
женщина( лиз).
женщина( пат).
женщина( энн).
мужчина( джим).
Мы ввели здесь два новых отношения - мужчинаи женщина. Эти отношения - унарные (илиодноместные). Бинарное отношение, такое как родитель,определяет отношение между двумя объектами;унарные же можно использовать для объявленияналичия (отсутствия) простых свойств у объектов.Первое из приведенных выше предложений читаетсятак: Пам - женщина. Можно было бы выразитьинформацию, представляемую этими двумя унарнымиотношениями (мужчина и женщина),по-другому - с помощью одного бинарного отношенияпол. Тогда новый фрагмент нашейпрограммы выглядел бы так:
пол( пам, женский).
пол( том, мужской).
пол( боб, мужской).
. . .
В качестве дальнейшего расширения нашейпрограммы-примера давайте введем отношение отпрыск,которое обратно отношению родитель.Можно было бы определить отпрыск тем жеспособом, что и родитель, т.е. представивсписок простых фактов наличия этого отношениядля конкретных пар объектов, таких, что одинявляется отпрыском другого. Например: