📚
Все вопросы
- Предикат для ввода и вывода является … предикатом #181
- Высказыванием называется выражение, не имеющее … переменных #182
- Имя свойства или отношения между объектами с последовательностью аргументов – это … #183
- Целевое утверждение, которое согласуется с базой данных, если текущее значение X является атомом в смысле языка Prolog, – … #184
- Целевое утверждение, которое согласуется с базой данных, если на текущий момент X обозначает либо целое число, либо атом, – … #185
- Предикат … предназначен для использования в тех ситуациях, когда вы хотите добавить утверждения из некоторого файла к утверждениям, уже имеющимся в базе данных #186
- Предикат … удобно использовать для исправления ошибок в программе #187
- Предикат … используется в ситуации, когда вы хотите явно указать, что для некоторого целевого утверждения нужно перебрать все решения #188
- Предикат … очень полезен в том случае, если надо создать программы, анализирующие или исполняющие другие программы #189
- Правила, по которым определяется смысл выражений, их истинность (или ложность), называются … #190