Работа с фактами, как с термами

С фактами, которые описываются предикатами базы данных, можно рабо-

тать также, как с термами. Это становится возможным благодаря домену

dbasedom (который автоматически объявляется системой Турбо Пролога) или

любому, определенному пользователем имени домена базы данных.

Для каждого предиката в базе данных Турбо Пролог создает одну аль-

тернативу. Он описывает каждый предикат базы данных с помощью функтора и

доменов аргументов этого предиката. Например, такое объявление базы дан-

ных:

database

person(name,telno)

city(cno,cname),

Турбо Пролог превратит в соответствующий домен dbasedom:

domains

dbasedom=person(name,telno);city(cno,cname)

Этот домен может быть использован как любой другой домен.