Основы программирования на языке Visual Prolog

Выберите из списка терм и соответствующий ему домен:
t(1, [t(2, []), t(3, []), t(4, [])])
t(nil, 1, t(nil, 2, nil))
tree{A} = t(A, tree{A}*).
tree = t(integer, tree, tree); nil.

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

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

1, 4

2, 4

1, 3(Верный ответ)

2, 3

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

Выберите из списка терм и соответствующий ему домен:

t(nil, 1, t(nil, 2, nil))

t(1, [t(2, []), t(3, []), t(4, [])])

tree = t(string, tree*).

tree = t(tree, integer, tree); nil.

Выберите из списка терм и соответствующий ему домен:

t(1, t(2, empty, empty), empty)

t(nil, 1, t(nil, 2, nil))

tree = t(integer, tree*).

bintree{Elem} = t(bintree{Elem}, Elem, bintree{Elem}); nil.

Предикат сортировки списка list::sort в языке Visual Prolog определяется с помощью алгоритма сортировки

Предикат сортировки списка по заданному критерию list::sortBy в языке Visual Prolog определяется с помощью алгоритма сортировки

Определение предиката digit имеет вид:

digit(1).digit(0).

В каком порядке будут найдены решения для цели digit(X), digit(Y)?

X = 0, Y = 0

X = 1, Y = 1

X = 0, Y = 1

X = 1, Y = 0

Определение предиката digit имеет вид:

digit(0).digit(1).

В каком порядке будут найдены решения для цели digit(X), digit(Y)?

X = 0, Y = 0

X = 1, Y = 1

X = 0, Y = 1

X = 1, Y = 0

Определение предикатов digit и fruit имеют вид:

digit(0).digit(1).fruit(apple).fruit(pear).

В каком порядке будут найдены решения для цели digit(X), fruit(Y)?

X = 0, Y = apple

X = 1, Y = pear

X = 0, Y = pear

X = 1, Y = apple

Цель L = list::filter([-1, 2, -3], {(X):- X < 0}) имеет решение:

Цель L = list::fold([-1, 2, -3], {(X, S) = S + X}, 0) имеет решение:

Цель L = list::map([-1, 2, -3], {(X) = -X}) имеет решение: