RosettaCodeData/Task/Multifactorial/Picat/multifactorial-4.picat

2 lines
43 B
Plaintext

multifactorial4(N,_D) = 1, N <= 0 => true.