Определите детерминизм предиката Prolog, у которого максимальное количество решений больше единицы, а отказ невозможен:

Правильный ответ:

• # Укажите язык программирования со строгой типизацией:
• # При каком механизме логического вывода в экспертных системах на основании начальных фактов строится заключение?
• # Определите, чем является указанное ниже предложение на языке Prolog: studied(petya,english)
• # Формула F называется выполнимой, если:
• # Укажите префиксный оператор языка Prolog: