Логическое программирование

Укажите синтаксис Mercury для объявления прямой суммы:

(Отметьте один правильный вариант ответа.)

Варианты ответа

:- type t == T1->T2

:- type t --> op1(T1); op2(T2)(Верный ответ)

:- type t == T1 * T2

:- type t == int

Похожие вопросы

Укажите синтаксис Mercury для объявления функционального типа:

Укажите синтаксис Mercury для объявления декартова произведения:

Укажите синтаксис Mercury для объявления типа int:

Укажите синтаксис Mercury для объявления типа string:

Укажите предикат языка Prolog, который используется для определения суммы элементов списка:

Укажите верное утверждение:

Укажите теорему Чёрча:

Укажите логические языки программирования:

Укажите функциональные языки программирования:

Укажите следствие теоремы о дедукции: