База ответов ИНТУИТ

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

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

Предикаты digit и tuple определяются следующим образом:
digit(0).digit(1).digit(2).tuple(t(X, Y)) :- digit(X), Y = -X. 
Цель имеет вид: findall(T, tuple(T), L). Сколько элементов содержит список L?

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

Варианты ответа
8
2
9
3(Верный ответ)
Похожие вопросы
Предикаты digit и tuple определяются следующим образом:
digit(0).digit(1).digit(2).tuple(t(X, Y)) :- digit(X), digit(Y). 
Цель имеет вид: findall(T, tuple(T), L). Сколько элементов содержит список L?
Предикаты digit и triple определяются следующим образом:
digit(0).digit(1).triple(t(X, Y, Z)) :- digit(X), digit(Y), digit(Z). 
Цель имеет вид: findall(T, triple(T), L). Сколько элементов содержит список L?
Определение предикатa digit имеет вид:
digit(0).digit(1):- !.digit(2). 
Сколько решений имеет цель digit(X), digit(Y), !, digit(Z)?
Определение предиката 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
  • Определение предикатa color имеет вид:
    color(red).color(yellow).color(green):- !.
    Цель findall(X, color(X), L) имеет решение:
    Определение предикатa color имеет вид:
    color(red):- !.color(yellow).color(green). 
    Цель findall(X, color(X), L) имеет решение:
    Предикат parent определяется следующим образом:
    parent(peter, mary).parent(mary, ann).parent(mary, bob).
    Цель !, parent(X, Y), parent(Y, Z) имеет следующее количество решений:
    Предикат parent определяется следующим образом:
    parent(peter, mary).parent(mary, ann).parent(mary, bob). 
    Цель parent(X, Y), !, parent(Y, Z) имеет следующее количество решений: