Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
factorial(0, 1). factorial(N, F) :- N1 is N -1, factorial(N1, F1), F is N * F1. bink(N, K, R) :- factorial(N, Fn), factorial(K, Fk), NK is N - K, factorial(NK, Fnk), R is Fn / (Fk * Fnk). /** <examples> ?- N = 4, K = 2, bink(N, K, R). */