Лекции по информатике
Вопросы - Компьютеры, программирование
Другие вопросы по предмету Компьютеры, программирование
#240; . .
.
n- 1, 1, 2, 6, 24, ...
N 0 1 2 3 4 ...
0 =1 3 =2*3
1 =1*1 4 =6*4
2 =1*2 5 =24*5
, n- V, : posl (N, V)
:
domains
N, V = integer
predicates
posl = (N, V)
clauses
posl (0, 1)
posl (N, V) if
1) N>0
2) M=N-1
3) posl (M, U)
4) V=U*N
goal
posl (3, x)
2 :
I .
1. , clauses (posl (3,x) posl (0, 1)). 0 3, . posl (3, x) 2- posl (N, V). N 3, V :
1) N>0 N1=3
2) M1=N1-3 N1=3 M1=2
3) posl (2, U1) , (V=U*N) .
2. posl (2, U1) posl (0, 1) . 2- , , N2=2 V=U1 . :
1) N2=2
2) N2=2 2=1
3) posl (1, U2)
4)
3. posl (1, U2) posl (0, 1) . 2- , N3=1 V=U2 . :
1) N3=1
2) N3=1 3=0
3) posl (0, N3) .
posl (0, 1), U3 1.
.
II. .
, ,