Если аргументом предиката bound является свободная переменная, то он:
Какое из устройств является стандартным устройством вывода информации по умолчанию?
Какое из устройств является стандартным устройством ввода информации по умолчанию?
Какое из устройств является стандартным устройством вывода информации об ошибках, по умолчанию?
Отношение называется транзитивным, если
Если убрать "зеленое" отсечение, то программа
Если убрать "красное" отсечение, то программа
Если взять дополнение к дополнению множества, то получится:
Логическая программа завершается успехом в случае, если:
Одно отношение называется транзитивным замыканием другого отношения, если
