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

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

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

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

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

Варианты ответа
1
2
4(Верный ответ)
3
Похожие вопросы
Определение предикатов 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), conn(X, 4) ?
Определение предикатов 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) ?
Определение предикатов 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) ?
Определение предикатов 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, Y)?
Определение предикатов 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)?
Определение предиката num имеет вид:
num(X, _, _, X).num(X, Z, S, Y) :- X < Z, X1 = X + S, num(X1, Z, S, Y). 
Сколько решений имеет цель num(2, 3, 2, X)?
Определение предиката num имеет вид:
num(X, _, X).num(X, C, Y) :- X > 0, X1 = X - C, num(X1, C, Y). 
Сколько решений имеет цель num(3, 2, X)?
Определение предиката num имеет вид:
num(X, X).num(X, Y) :- X < 2, X1 = X + 1, num(X1, Y). 
Сколько решений имеет цель num(-1, X)?
Определение предиката num имеет вид:
num(X, _, _, X).num(X, Z, S, Y) :- X > Z, X1 = X - S, num(X1, Z, S, Y).
Сколько решений имеет цель num(5, 3, 1, X)?