generalized prolog to launcher template