помогите по дискретке!
Задан предикат: S(n,y): y= n! Запишите следующее высказывание:
S(4,24). Установите, истинно ли данное высказывание.
S(4,24). Установите, истинно ли данное высказывание.
предикат S принимает значение ИСТИННО, если выполняется условие, которое задано для предиката (левая часть равняется правой): y=n! (факториал)
S(4, 24) истинно, потому что 24=4!
(4!=1*2*3*4=24)
вот на языке visual prolog 5.2
==========
predicates
nondeterm s(integer ,integer)
clauses
s(1, 1).
s(N, Y):- N>0, N1=N-1, s(N1, Y1), Y=Y1*N.
goal
s(4, Y).
==========
Y=24
1 Solution
S(4, 24) истинно, потому что 24=4!
(4!=1*2*3*4=24)
вот на языке visual prolog 5.2
==========
predicates
nondeterm s(integer ,integer)
clauses
s(1, 1).
s(N, Y):- N>0, N1=N-1, s(N1, Y1), Y=Y1*N.
goal
s(4, Y).
==========
Y=24
1 Solution