% Given an input number:
factorial(0,1).
factorial(N,F) :-
N>0,
factorial(N1,F1),
JSBHaXZlbiBhbiBpbnB1dCBudW1iZXI6CgpmYWN0b3JpYWwoMCwxKS4gCgpmYWN0b3JpYWwoTixGKSA6LSAgCiAgID8tIHdyaXRlKDI1KSxubC4KICAgTj4wLCAKICAgTjEgaXMgTi0xLCAKICAgZmFjdG9yaWFsKE4xLEYxKSwgCiAgID8tIEYgaXMgTiAqIEYxLgoKaGFsdC4=