Programas de la Unidad II

/*Programa 6*/

domains

                n, f = real

predicates

                factorial(n,f)

clauses

                factorial(1,1).

factorial (N, Res) if

N>0 and

N1 = N-1 and

factorial (N1, FacN1) and

Res=N*FacN1

 Ejercicio:

Por definición:  1!=1

2! = 2.(2-1!) !

2! = 2.(1!) !

2! = 2.1

2! = 2

3! = 3.(3-1!) !

3! = 3.(2!) !

3! = 3.2

3! = 6

4! = 4.(4-1!) !

4! = 4.(3!) !

4! = 4.6

4! = 24

5! = 5.(5-1!) !

5! = 5.(4!) !

5! = 5.24

5! = 120

6! = 6.(6-1!) !

6! = 6.(5!) !

6! = 6.120

6! = 720