prolog w/ params