<< Пред. стр.

стр. 5
(общее количество: 5)

ОГЛАВЛЕНИЕ

Пример 6.6 Dog(Rex).
Cat(Felix).
Animal(X) :- Cat(X).
Animal(X) :- Dog(X).
:- Animal(Rex).
Программа говорит о том, что Rex это Dog, Felix это Cat, любой Cat это
Animal и любой Dog также Animal; доказать: Rex Animal. Автоматический дока-
затель выдаст ответ ’Yes’. Можно также задать цель :– Animal(X), и ответ будет
’Rex’ и ’Felix’.

Скажем в заключение, что автор не претендует на полноту изложения в данной
книге тем в ней затронутых. Что касается языков логического программирования, то
читатель заинтерсовавшийся, может продолжить свое знакомство с ними.

<< Пред. стр.

стр. 5
(общее количество: 5)

ОГЛАВЛЕНИЕ