prlog -> printf