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

<<- Назад к вопросам

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

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

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

:- type t == str

:- type t == char

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

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

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

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

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

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

Укажите условное обозначение утверждения, что формула B следует из формулы A:

Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:

Если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v, то:

Если для всех вершин графа x имеет место h₁(x) больше либо равен h₂(x), в этом случае:

Укажите ответ на запрос ?- num_legs(dog,X). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).

Укажите результат запроса ?- not(sweet(X)),white(X). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).