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

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

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

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

:- type t == T1 * T2

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

:- type t == int

:- type t --> op1(T1); op2(T2)

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

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

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

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

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

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

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

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

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

Укажите теорему Гёделя о неполноте:

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