📚
Все вопросы
- Символ, который является признаком конца ввода символов, – … #461
- Анонимная переменная предписывает интерпретатору … значению аргумента #462
- Знаком * в языке Prolog обозначается … #463
- Преобразование пустого списка дает в результате … #464
- … добавляется к именам переменных для того, чтобы различать их на различных уровнях рекурсии #465
- Свойство объекта или отношение между объектами, для которого известно, что они истинны, – это … #466
- Использование предиката … может помочь обнаружить ошибки в программе #467
- Целевое утверждение var(X)согласуется с базой данных в случае если на текущий момент X является … переменной #468
- Класс формул исчисления предикатов, к которому относятся формулы, истинные в одних интерпретациях и ложные в других, – это … #469
- Выражение, на который навешивается квантор, называется областью … квантора #470