Формула в сколемовской нормальной форме не содержит:
Формула в конъюнктивной нормальной форме состоит из:
Для добавления факта в начало внутренней базы данных служит предикат:
Можно ли использовать предикат frontchar для того, чтобы приписать символ в начало строки?
Отношение называется транзитивным, если
Если убрать "красное" отсечение, то программа
Если убрать "зеленое" отсечение, то программа
Логическая программа завершается успехом в случае, если:
Если взять дополнение к дополнению множества, то получится:
Первая подстановка является более общей, чем вторая, если: