|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Опубликован: 04.05.2005 | Уровень: для всех | Доступ: платный | ВУЗ: Сибирский университет потребительской кооперации
Лекция 5:
Основы Турбо Пролога. Структура программы на Турбо Прологе. Директивы компилятора
Самостоятельные задания
- Создайте программу, решающую квадратное уравнение.
- Создайте программу, реализующую игру "Угадай число" (компьютер загадывает число, человек пытается его отгадать, ориентируясь на реплики "Больше", "Меньше").
- Создайте предикат, вычисляющий сумму цифр натурального числа.
- Создайте предикат, вычисляющий произведение цифр натурального числа.
- Создайте предикат, переводящий число из десятичной системы счисления в двоичную.
- Создайте предикат, переводящий число из одной системы счисления в другую.
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?
