RosettaCodeData/Task/Multifactorial/Picat/multifactorial-4.picat
2023-07-01 13:44:08 -04:00

1 line
43 B
Text

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