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

Выберите из списка терм и соответствующий ему домен: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.

• 1, 3
• 2, 4
• 1, 4
• 2, 3

Определение предикатов lang и print имеет вид:lang(1, prolog).lang(2, python) :- !.lang(3, pascal).print() :- lang(N, L), write(L), nl, fail.print(). Сколько названий языков будет напечатано при вызове цели print()?

• 1
• 2
• 3
• 4

Определение предиката subset имеет вид:subset(0, [], []):- !.subset(N, [A | L], [A | S]):- N1 = N - 1, subset(N1, L, S).subset(N, [_ | L], S):- subset(N, L, S). Сколько решений имеет цель subset(2, [1, 2, 3], X) ?

• 0
• 3
• 7
• 8

Определение предиката conc в PIE имеет вид:conc(d(A, B), d(B, C), d(A, C)). В результате вызова conc(d([1, 2 | X], X), d([2, 3], []), d(L, _)) переменная L примет значение

• [1, 3]
• [1]
• [1, 2, 2, 3]
• [1, 2, _]

Определение предиката go имеет вид: go(N):- N > 1, !, write('a'), N1 = N - 1, go(N1).go(_). Сколько раз будет напечатан символ 'a' в результате вызова цели go(5)?

• 2
• 3
• 4
• 5

Определение предикатa color имеет вид:color(red).color(yellow).color(yellow) :- !.color(green). Цель findall(X, color(X), L) имеет решение:

• L = [red]
• L = [red, yellow]
• L = [red, yellow, yellow]
• L = [red, yellow, green]

Определение предиката append имеет вид:append([], L, L).append([A | L1], L2, [A | L]) :- append(L1, L2, L). Какое значение примет переменная L в результате вызова append(L, [_, 2], [1, 2, 3])?

• [1]
• [1, 2]
• [3]
• не примет никакого значения

Эрбранов базис логической программыanimal(X) :- bird(X).animal(zebra).bird(swan). выглядит следующим образом:

• {animal(swan), bird(swan), animal(zebra), bird(zebra)}
• {swan, zebra}
• {animal(X), bird(X), bird(swan), animal(zebra)}
• {animal(swan), bird(swan), animal(zebra)}

Определение предиката reverse имеет вид:reverse([], L, L).reverse([A | L1], L2, L) :- reverse(L1, [A | L2], L). В результате вызова reverse([1, 2, 2], [], L) переменная L примет значение

• [2, 1, 2]
• [1, 2, 2]
• [1, 2, 2]
• [2, 2, 1]

Определение предиката conc в PIE имеет вид:conc(d(A, B), d(B, C), d(A, C)). В результате вызова conc(d([1, 2 | X], X), d([2, 3], []), d(L, _)) переменная X примет значение

• [3]
• [1, 2, 2, 3]
• []
• [2, 3]

Определение класса b с интерфейсом b имеет вид: interface b properties a : integer. end interface b class b : b predicates counter : () -> integer. end class b implement b facts a : integer := 0. class facts n : integer := 0. clauses new():- n := n + 1. counter() = n.end implement b Какое число будет напечатано в результате вызова цели X = b::new(), X:a := 2, Y = b::new(), Y:a := X:a + 1, stdio::write(X:a+Y:a+b::counter())?

• 0
• 7
• 5
• 3

Определение предикатов fruit и print имеет вид: fruit(1, apple).fruit(2, pear).print() :- fruit(N, X), fruit(_, Y), write(X), nl, write(Y), nl, N = 2, !.print(). Напишите название фрукта, которое будет напечатано последним в результате вызова цели print():

• pear
• apple

Определение предикатов male и parent имеет вид: male(tom).male(bob).parent(tom, mary).parent(tom, ann). Рассмотрим цели not(parent(X, _)), male(X) и male(X), not(parent(X, _)). Отметьте правильное утверждение:

• они имеют одинаковый набор решений
• одна из них имеет два решения, а другая не имеет решений
• одна из них имеет решение, а другая не имеет
• одна из них имеет два решения, а другая одно решение

Определение предиката p имеет вид:p([parent(robert, jackson)]).p([parent(ann, smith), parent(thomas, smith)]).Напишите ответ на запрос p([_, parent(_, X)]):

• smith
• jackson
• thomas
• robert

Программа имеет вид: female(ann). female(mary). male(tom). male(bob). Укажите порядок нахождения решений для цели male(X); female(X) 1) X = ann 2) X = mary 3) X = tom 4) X = bob

• 3, 4, 1, 2
• 4, 3, 2, 1
• 1, 2, 3, 4
• 2, 1, 4, 3

Признак N присутствует, если в базе данных имеется факт answer(N, 1), и отсутствует, если в ней имеется факт answer(N, 0). Определение предиката correct имеет вид:correct(L):- answer(N, 1), not(isMember(N, L)), !, fail; succeed(). Предикат истинен, если

• имеются все необходимые признаки
• имеется признак, которого нет в списке L
• нет признаков, которых не было бы в списке L
• никаких признаков не обнаружено

Логическое программирование в широком смысле это:

• программирование на хорновских дизъюнктах
• описание задачи на некотором логическом языке и ее решение посредством вывода в некоторой формальной системе
• набор инструкций определенного алгоритма из логики высказываний
• набор инструкций определенного алгоритма из логики предикатов

Определение предиката scan имеет вид:scan(S) = [Tok | scan(Rest)]:- string::frontToken(S, Tok, Rest), !. scan(_) = []. Какое значение примет переменная S в результате вызова S = scan(" The cat likes it. ")?

• S = ["The", "cat", "likes", "it."]
• S = ["The", "cat", "likes", "it", "."]
• S = ["The", "cat", "likes", "it"]
• S = ["The cat", "likes", "it", "."]

Определение предикатов arc и conn имеет вид: arc(1, 2).arc(1, 3).arc(3, 4).conn(X, X).conn(X, Z):- arc(X, Y), conn(Y, Z). Сколько решений имеет цель conn(X, 4) ?

• 1
• 2
• 3
• 4

Определение предиката g имеет вид: g(0, R, R):- !.g(X, C, R):- X1 = X - 1, C1 = 2 * C + 1, g(X1, C1, R). Какое значение примет переменная Y в результате вызова цели g(2, 2, Y)?

• 5
• 10
• 11
• 12

Укажите все предикаты, которые используются для удаления фактов из внутренней базы данных:

• retract
• retractAll
• reconsult
• retractFactDb

Определение предикатов digit и fruit имеют вид:digit(0).digit(1).fruit(apple).fruit(pear). В каком порядке будут найдены решения для цели digit(X), fruit(Y)?X = 0, Y = appleX = 1, Y = pearX = 0, Y = pearX = 1, Y = apple

• 1, 3, 4, 2
• 1, 2, 4, 3
• 1, 2, 3, 4
• 1, 3, 2, 4

Программа имеет вид: parent(ann, peter).parent(ann, mary).parent(tom, X) :- parent(ann, X). Сколько решений имеет цель parent(tom, X)?

• 0
• 1
• 2
• 3

Определение предиката go имеет вид: go(2):- write('a'), fail.go(N):- N > 1, write('a'), N1 = N - 1, go(N1).go(_). Сколько раз будет напечатан символ 'a' в результате вызова цели go(4)?

• 3
• 4
• 5
• 6

Предикаты 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

Определение предикатов parent и anc имеет вид: parent(tom, ann).parent(ann, bob).anc(X, Y):- parent(X, Y).anc(X, Z):- parent(X, Z), anc(Z, Y). Сколько решений имеет цель anc(X, ann)?

• 2
• 1
• 4
• 3

Объявление домена, который можно использовать в других модулях, пишется:

• только в декларации класса
• в имплементации класса
• только в интерфейсе
• в интерфейсе или в декларации класса

Определение предиката member2 имеет вид:member2(H, [_, H | _]):- !.member2(H, [_, _ | T]) :- member2(H, T). Сколько решений имеет цель member2(X, [1, 2, 3, 4])?

• 1
• 2
• 3
• 4

В результате вызова string::frontToken(" f(g( a ))", X, Y) переменные X и Y примут значения:

• X = " f", Y = "(g( a ))"
• X = "f", Y = "(g( a ))"
• X = "f(g(", Y = "a ))"
• X = "f(g(", Y = " a ))"

В результате вызова memberIndex_nd(X, I, [1, 2, 3]) переменные X и I последовательно примут следующие значения:

• X = 1, I = 0; X = 2, I = 1; X = 3, I = 2
• X = 1, I = 2
• X = 1, I = 1; X = 2, I = 2; X = 3, I = 3
• X = 1, I = 0

Список [_, _] унифицируется:

• со списком [[1], [2]]
• с пустым списком
• с любым списком
• с любым непустым списком

Отношение likes определяется следующим образом:likes(ann, books).likes(tom, ann).likes(bob, X) :- likes(ann, X). Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(X, _)?

• ann
• ann; tom; bob; ann
• ann; tom; bob
• ann; tom

Определение предикатa color имеет вид:color(red):- !.color(yellow).color(green). Цель findall(X, color(X), L) имеет решение:

• L = []
• L = [red, yellow]
• L = [red, yellow, green]
• L = [red]

Вызов предиката fail

• не может быть ни успешным, ни неуспешным
• всегда неуспешен
• всегда успешен
• может быть как успешным, так и неуспешным

Какое значение примет переменная X в результате вызова цели X = math::restrict(3, 0, 1)?

• 1
• 0
• 3
• не примет никакого значения

Если для решения задачи используется граф пространства состояний, то решение является

• его вершиной
• его ребром
• его подграфом
• путем, соединяющим начальное состояние с конечным

Определение предикатов likes и male выглядит следующим образом: male(peter).male(bob).likes(peter, bycicle). Напишите решение для цели male(Y), not(likes(Y, _)):

• bob
• bycicle
• peter

Отметьте все верные утверждения. В языке Visual Prolog

• новые пакеты можно создавать только в GUI-приложениях
• имеются средства для отладки
• можно создавать модули
• нет средств для отладки

Определение предиката member в PIE имеет вид:member(H, [H | _]). member(H, [_ | T]):- member(H, T).Цель L = [_, _], member(1, L) имеет в PIE следующий набор решений:

• L = [1, _]; L = [_, 1]
• L = [1]
• Эта цель не имеет решений
• L = [1, 1]

Определение предиката count имеет вид:count(L1, L2) = length(filter(L1, {(X):- isMember(X, L2)})). Какое значение примет переменная L в результате вызова цели L = count([1, 2, 3], [3, 2, 5])?

• 1
• 2
• 3
• 4

Вне имплементации класса b могут вызываться предикаты, объявленные:

• в имплементации класса b
• в имплементации класса b
• в декларации класса b и в имплементации класса b
• в имплементации класса-наследника

Пусть грамматика имеет вид: d ::= dd | [a]d[a] | [b], где в квадратных скобках написаны терминальные символы. Укажите те из перечисленных ниже слов, которые из нее выводятся:

• aabaa
• aa
• baa
• abba

В результате вызова S = string::concatWithDelimiter(["1", "000", "000"], ".") переменная S примет значение:

• ["1", ".", "000", ".", "000"]
• "1.000.000."
• "1000000."
• "1.000.000"

Выберите из списка терм и соответствующий ему домен: 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, 3
• 2, 4
• 1, 4
• 2, 3

Определение предикатов count и count1 имеет вид:count(t(X, []), X):- !.count(t(_, L), Y):- count1(L, Y).count1([], 0).count1([T | L], Z):- count(T, X), count1(L, Y), Z = X + Y. Какое значение примет переменная S в результате вызова цели count(t(1, [t(2, [t(2, [])]), t(1, [])]), S) ?

• 3
• 6
• 5
• 1

Определение предикатов arc, cont и path имеет вид: arc(1, 3).arc(3, 4). cont([X | L], [Z, X | L]):- arc(X, Z), not(isMember(Z, L)). path([[Y | L] | _], Y, [Y | L]).path([P | PL], Y, R):- findall(P1, cont(P, P1), L1), append(L1, PL, PL1),path(PL1, Y, R). Предикат path реализует алгоритм

• поиска в глубину
• поиска в ширину
• поиска кратчайшего пути в глубину
• «первый лучший»

Сложность O(n log n) имеет алгоритм сортировки

• быстрой
• вставками
• слиянием
• пузырьком

Определение предиката append имеет вид: append([], L, L).append([A | L1], L2, [A | L]) :- append(L1, L2, L). Найти предпоследний элемент списка L = [1, 2, 3, 4, 5] можно с помощью цели

• append([_, X], _, L)
• append([X, _], _, L)
• append(_, [X, _], L)
• append(_, [_, X], L)

Определение предиката append имеет вид:append([], L, L).append([A | L1], L2, [A | L]) :- append(L1, L2, L). Какое значение примет переменная L в результате вызова append([1, 2], [2, 3], L)?

• [1, 2, 3]
• [1, 3]
• [1, 2, 2, 3]
• []

Определение предиката num имеет вид: num(X, X).num(X, Y) :- X < 2, X1 = X + 1, num(X1, Y). Сколько решений имеет цель num(-1, X)?

• 2
• 3
• 4
• 5

Определение предикатов min и run имеет вид:min(X, Y, X):- X < Y, !.min(X, Y, Y):- X >= Y.run():- min(1, 3, X), write(X), nl, fail; _ = readLine(). Укажите правильное объявление предиката min:

• min: (integer, integer, integer) nondeterm (i,i,o).
• min: (integer, integer, integer [out]) determ.
• min: (integer, integer, integer) determ.
• min: (integer, integer, integer) determ anyflow.

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

• 2
• 3
• 8
• 9

Отсечение в программе min(X, Y, X):- X < Y, !.min(X, Y, Y):- X >= Y.

• является красным
• является зеленым
• не используется при вычислениях
• является динамическим

Укажите все списки, с которыми унифицируется список [_, 2 | _]:

• [1, 2, 3, 4]
• [2]
• [5, 2]
• [[1], [2]]

Конкретизированная переменная – это переменная, которая

• не имеет никакого значения
• имеет какое-то значение
• получает значение при инициализации
• может иметь значение, может не иметь значения

Эрбранов универсум логической программыlikes(bob, X) :- likes(ann, X).likes(ann, books). выглядит следующим образом:

• {bob, ann, books, likes(bob, books), likes(ann, books)}
• {bob, ann, books}
• {likes(bob, books), likes(ann, books)}
• {bob, ann, books, X}

Логическое программирование в узком смысле это:

• набор инструкций определенного алгоритма из логики предикатов
• набор инструкций определенного алгоритма из логики высказываний
• описание задачи на некотором логическом языке и ее решение посредством вывода в некоторой формальной системе
• программирование на хорновских дизъюнктах

Определение функции f имеет вид: f(1, R) = R:- !.f(X, C) = f(X - 3, C * C - 1). Какое значение примет переменная Y в результате вызова цели Y = f(7, 2)?

• 9
• 3
• 13
• 8

Определение предикатов fruit и print имеет вид:fruit(1, apple).fruit(2, pear).print() :- fruit(_, X), write(X), nl, fruit(_, Y), write(Y), nl, fail.print(). Напишите название фрукта, которое будет напечатано третьим в результате вызова цели print():

• apple
• pear

В результате вызова в PIE цели functor(Term, person, 2), arg(1, Term, bob) переменная Term примет значение

• person(bob, bob)
• person(_, bob)
• person(bob)
• person(bob, _)

Укажите все предикаты, которые добавляют факт в конец внутренней базы данных:

• assert
• asserta
• save
• assertz

Предикат likes определяется следующим образом:likes(mary, books).likes(peter, mary).likes(mary, peter).Цель likes(X, Y), !, likes(Y, Z) имеет следующее количество решений:

• 1
• 3
• 0
• 2

Определение предиката member имеет вид:member(bt(_, X, _), X):- !.member(bt(L, _, R), X):- member(L, X); member(R, X). Сколько решений имеет цель member(bt(bt(leaf, 1, leaf), 2, bt(leaf, 3, leaf)), X) ?

• 2
• 0
• 1
• 3

Определение предиката count имеет вид:count([], 0).count([_], 1).count([_, _ | T], N) :- count(T, N1), N = N1 + 2. Какое значение примет переменная R в результате вызова цели count([1, 2, 3], R)?

• 1
• 2
• 0
• 3

Свободная переменная унифицируется

• только с другой свободной переменной
• с любым предикатом
• только с простым термом
• с любым термом

Определение предикатов arc и path имеет вид: arc(1, 2). arc(1, 3).arc(2, 4).arc(3, 4).path([X | L], X, [X | L]).path([X | L], Y, P):- arc(X, Z), not(isMember(Z, L)), path([Z, X | L], Y, P). Сколько решений имеет цель path([1], 4, P) ?

• 4
• 1
• 2
• 3

Определение предиката num имеет вид: num(X, _, _, X).num(X, Z, S, Y) :- X < Z, X1 = X + S, num(X1, Z, S, Y). Сколько решений имеет цель num(2, 3, 2, X)?

• 4
• 2
• 1
• 3

В чем заключается метод ван Эмдена по выбору хода в игре?

• сделать случайный ход, не приводящий к немедленному проигрышу
• сделать первый допустимый ход, не приводящий к немедленному проигрышу
• сделать финальный выигрышный ход или такой ход, чтобы противник в результате не смог выиграть
• сделать любой допустимый ход, не приводящий к немедленному проигрышу

Определение предиката prefix имеет вид:prefix(_, []).prefix([A | L1], [A | L2]) :- prefix(L1, L2). Сколько решений имеется для цели prefix([1], L)?

• 2
• 1
• 3
• 0

Программа имеет вид: likes(mary, books).likes(bob, mary).likes(bob, books). Напишите решение, которое имеет цель likes(X, mary):

• mary
• bob
• books

Определение предиката count имеет вид:count(leaf, 0).count(bt(L, _, R), X):- count(L, Y), count(R, Z), X = Y + Z + 1. Какое значение примет переменная X в результате вызова цели count(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X) ?

• 1
• 2
• 3
• 7

Вызов цели not(parent(X, _)) завершается успехом, если цель parent(X, _)

• имеет хотя бы одно решение
• не имеет решений
• имеет ровно одно решение
• имеет более одного решения

В результате вызова в PIE цели functor(X, book, 2), arg(1, X, melville), arg(2, X, "Moby-Dick") переменная X примет значение

• melville("Moby-Dick")
• book(melville("Moby-Dick"))
• book(melville("Moby-Dick"))
• book(_, melville, "Moby-Dick")

Одно из правил, определяющих предикат aks/3, имеет вид:ask(A, _, [N | _]):- assert(answer(N, A)), fail. Оно соответствует следующему действию:

• отменяется запись в базу данных нового факта
• в базу данных записывается новый факт и выполняется переход к следующему правилу
• в базу данных записывается новый факт, если его там не было
• если вычисления дойдут до этого правила, то вызов предиката ask будет неуспешным.

В игре «Отгадай числа» первым ходит компьютер. Кто выиграет, если требуется угадать три числа и пользователь загадает числа 4, 1 и 2?

• компьютер
• пользователь
• заранее нельзя определить
• это зависит от того, что загадал компьютер

Напишите значение, которое примет переменная N в результате вызова цели N = string::search("prolog", "o") :

• 5
• 4
• 3
• 2

Отметьте верное утверждение. Поиск в глубину на графе пространства состояний обычно используется:

• если пространство состояний очень велико
• для поиска кратчайших путей
• если пространство состояний не слишком велико
• если другими способами найти решение не удается

Состояниям на графе пространства состояний обычно соответствуют:

• ребра
• вершины
• концевые вершины
• пути

В результате вызова string::frontToken(" 23 + 5", X, Y) переменные X и Y примут значения:

• X = "23", Y = "+ 5"
• X = " 23", Y = " + 5"
• X = "23", Y = " + 5"
• X = " 2", Y = "3 + 5"

Пусть грамматика имеет вид: d ::= dd | d[a] | [b], где в квадратных скобках написаны терминальные символы. Укажите те из перечисленных ниже слов, которые из нее выводятся:

• a
• ab
• baa
• bbb

В результате вызова string::splitStringBySeparators("Ау уу!", "!у", X, Y, Z) переменные X, Y и Z примут значения:

• X = "А", Y = 'у', Z = " уу!"
• X = "Ау уу", Y = '!', Z = ""
• X = "Ау", Y = ' ', Z = "уу!"
• X = "Ау", Y = 'у', Z = "уу!"

Определение предикатов tmember и member имеет вид:tmember(t(X, _), X).tmember(t(_, TL), X):- member(T, TL), tmember(T, X).member(T, [T | _]):- !.member(T, [_ | L]):- member(T, L). Сколько решений имеет цель tmember(t(1, [t(2, [t(2, [])]), t(1, [])]), X) ?

• 1
• 2
• 3
• 4

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

• 0
• -2
• -4
• 6

Определение предикатов intersection и member имеет вид:intersection([], _, []).intersection([A | L1], L2, [A | L]) :- member(A, L2), !, intersection(L1, L2, L).intersection([_ | L1], L2, L) :- intersection(L1, L2, L).member(X, [X | _]):- !.member(X, [_ | L]):- member(X, L). Какое решение имеет цель intersection([3, 2, 1], [1, 3, 5], L) ?

• [1, 3]
• [3, 1]
• [3, 2, 1, 5]
• [1, 2, 3, 5]

Определение предиката select имеет вид:select(A, [A | L], L).select(A, [B | L], [B | L1]):- select(A, L, L1). Сколько решений имеет цель select(0, L, [1, 2, 3]) ?

• 4
• 3
• 2
• 1

Определение предиката prefix имеет вид:prefix(_, []).prefix([A | L1], [A | L2]) :- prefix(L1, L2).Сколько решений имеется для цели refix([1, 2], L)?

• 0
• 1
• 2
• 3

Определение предиката member имеет вид:member(H, [H | _]).member(H, [_ | T]) :- member(H, T). Сколько решений имеет цель member(X, [2, 3, 4, 5])?

• 2
• 4
• 1
• 3

Определение предиката count имеет вид:count([], 0).count([_ | T], N) :- count(T, N1), N = N1 + 1. Какое значение примет переменная R в результате вызова цели count([1, 2, 3], R)?

• 1
• 2
• 3
• 0

Определение предиката num имеет вид: num(X, _, X).num(X, C, Y) :- X > 0, X1 = X - C, num(X1, C, Y). Сколько решений имеет цель num(3, 2, X)?

• 2
• 3
• 5
• 4

Определение предиката num имеет вид: num(X, X).num(X, Y) :- X > 0, X1 = X - 2, num(X1, Y). Сколько решений имеет цель num(5, X)?

• 3
• 5
• 4
• 2

Определение предиката f имеет вид: f(0, 3):- !.f(X, R):- X1 = X - 1, f(X1, R1), R = R1 + 2. Какое значение примет переменная Y в результате вызова цели f(2, Y)?

• 7
• 5
• 8
• 3

Определение предикатов parent и anc имеет вид: parent(tom, ann).parent(ann, bob).anc(X, Y):- parent(X, Y).anc(X, Z):- parent(X, Z), anc(Z, Y). Сколько решений имеет цель anc(tom, X)?

• 1
• 2
• 3
• 4

Определение предиката go имеет вид:go(0).go(N):- N > 0, N1 = N - 1, go(N1), write('a'). Сколько раз будет напечатан символ 'a' в результате вызова цели go(2)?

• 3
• 1
• 2
• 0

Определение предиката go имеет вид: go(2):- !.go(N):- write('a'), N1 = N - 1, go(N1). Сколько раз будет напечатан символ 'a' в результате вызова цели go(5)?

• 2
• 1
• 0
• 3

Добавляет факт в начало внутренней базы данных предикат:

• assert
• asserta
• save
• assertz

Начальное значение факта-переменной n равно 0. Определение предикатов fruit и print имеет вид:fruit(1, "apple").fruit(2, "pear"). print() :- repeat(), fruit(_, X), write(X), nl, n := n + 1, n = 3, !.print(). Напишите название фрукта, которое будет напечатано последним при вызове цели print():

• apple
• pear

Определение предиката print имеет вид:print() :- write('a'), repeat(), !.print(). Сколько раз будет напечатан символ 'a' при вызове цели print()?

• ни одного раза
• два раза
• один раз
• более двух раз

Определение предикатов lang и print имеет вид:lang(1, prolog).lang(2, python).lang(3, pascal).print() :- lang(N, L), write(L), nl, fail.print(). Сколько названий языков будет напечатано при вызове цели print()?

• 2
• 6
• 1
• 3

Вызов предиката repeat

• всегда успешен
• всегда неуспешен
• может быть как успешным, так и неуспешным
• не может быть ни успешным, ни неуспешным

Определение предиката color имеет вид:color(red).color(yellow) :- !.color(green).Сколько решений имеет цель color(X), color(Y)?

• 2
• 3
• 4
• 1