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

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

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

Определение предикат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) имеет решение:

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

color(red).color(yellow).color(yellow) :- !.color(green). 

Цель findall(X, color(X), L) имеет решение:

Определение предиката 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 имеет вид:

digit(1).digit(0). 

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

X = 0, Y = 0

X = 1, Y = 1

X = 0, Y = 1

X = 1, Y = 0

Определение предикатов 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) ?

Определение предикатов difference и member имеет вид:

difference([], _, []).difference([A | L1], L2, L) :- member(A, L2), !, difference(L1, L2, L).difference([A | L1], L2, [A | L]) :- difference(L1, L2, L).member(X, [X | _]):- !.member(X, [_ | L]):- member(X, L). 

Какое решение имеет цель difference([4, 3, 2, 1], [1, 3, 5], L) ?

Определение предикатов union и member имеет вид:

union([], L, L).union([A | L1], L2, L) :- member(A, L2), !, union(L1, L2, L).union([A | L1], L2, [A | L]) :- union(L1, L2, L).member(X, [X | _]):- !.member(X, [_ | L]):- member(X, L). 

Какое решение имеет цель union([4, 3, 2, 1], [1, 3, 5], L) ?