Искусственный интеллект

10.5. Переход от Дейталога к SQL Вместо того, чтобы строить отдельную систему вывода для ответа на запросы в языке Дейталог, покажем, как можно перевести эти запросы в 231 10. Дедуктивные базы данных язык SQL и тем самым получить ответ на запрос с помощью вычислений в реляционной алгебре, стоящей за операторами языка SQL. Вернемся к приведенной выше Дейталог-профамме, соответствующей реляционной базе данных. Введем с целью наглядности следующие более короткие имена аргументов в этой профамме: пункт_отправления = по, пункт_назначения = пн, промежуточный пункт = пп. После введения этих обозначений Дейталог-профамма будет иметь вид пункты (по, пн) => маршрут (по, пн), пункты (по, пп) л маршрут (пп, пн) л по * пн => маршрут (по, пн), пункты (Москва, Тула), пункты (Тула, Калуга), пункты (Калуга, Москва).