📚
Все вопросы
- Множество с заданными на нем операциями и отношениями называется … #471
- Открытая формула называется тавтологией, если она … #472
- … отношения называют признаками или свойствами #473
- Неверно, что исчисление предикатов является … функцией #474
- Предикат для ввода и вывода является … предикатом #475
- Высказыванием называется выражение, не имеющее … переменных #476
- Имя свойства или отношения между объектами с последовательностью аргументов – это … #477
- Целевое утверждение, которое согласуется с базой данных, если текущее значение X является атомом в смысле языка Prolog, – … #478
- Целевое утверждение, которое согласуется с базой данных, если на текущий момент X обозначает либо целое число, либо атом, – … #479
- Предикат … предназначен для использования в тех ситуациях, когда вы хотите добавить утверждения из некоторого файла к утверждениям, уже имеющимся в базе данных #480