String interpolation for Prolog