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

Определение предикатов arc и path имеет вид:

arc(1, 2). arc(1, 3).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) переменная P примет значение:

Определение предикатов arc и path имеет вид:

arc(1, 3).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 реализует алгоритм

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

Определение предикатов 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(PL, L1, PL1),path(PL1, Y, R). 

Предикат path реализует алгоритм

Определение предикатов arc, cont и path имеет вид:

arc(1, 2).arc(1, 3).arc(3, 4).arc(2, 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(PL, L1, PL1),path(PL1, Y, R). 

Укажите решение для цели path([[1]], 4, P) .

Определение предикатов arc и conn имеет вид:

arc(1, 2).arc(1, 3).arc(3, 4).conn(X, X).conn(X, Z):- arc(X, Y), conn(Y, Z). 

Сколько решений имеет цель conn(1, X) ?

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

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

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

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