Mencari faktorial dengan Prolog

DOMAINS

    unsigned,X,Y = string

PREDICATES

    faktorial (unsigned,real)

CLAUSES

    faktorial(1,1):-!.

    faktorial(X,FaktoX):-

        Y=X-1,

        faktorial(Y,FaktoY),

        FaktoX = X*FaktoY.

       

GOAL

    X=3,

    faktorial (X,Y).