A definite clause comprising a single positive literal is called a fact. These are unconditional statements about the world. They can be used in the base case of recursive definitions and in Prolog must appear before rules, for example:
factorial(0,1).
factorial(X,N) :- X>0, X1 is X-1, factorial(X1,N1), N is X*N1.