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