Главная /
Языки логического программирования /
Как определяется отношение выводимости запросов Q1 и Q2?
Как определяется отношение выводимости запросов Q1 и Q2?
вопрос
Правильный ответ:
существует подстановка, превращающая все атомы запроса
Q1 в атомы запроса Q2 Q1 и Q2 различаются лишь одним атомом запроса, который в Q2 получается некоторой подстановкой из соответствующего атома из Q1 Q1 и Q2 различаются лишь одним атомом запроса, который в Q2 получается НОУ из соответствующего атома из Q1 Сложность вопроса
45
Сложность курса: Языки логического программирования
92
Оценить вопрос
Комментарии:
Аноним
Пишет вам помощник профессора! Прямо сейчас заблокируйте сайт и ответы интуит. Умоляю
26 дек 2016
Аноним
Я завалил сессию, почему я не углядел этот чёртов сайт с решениями интуит прежде
08 май 2016
Другие ответы на вопросы из темы программирование интуит.