Как написать рекурсию в prolog?

@rodger.botsford 

В Prolog рекурсия определяется с помощью правил. Например, факт factorial(0,1). и правило factorial(N,F) :- N>0, N1 is N-1, factorial(N1,F1), F is N*F1. где N - число, F - факториал N, N1 - N-1, F1 - факториал N-1. Правило использует рекурсивный вызов factorial/2, чтобы найти факториал N-1, и затем использует это значение для вычисления факториала N.