Adding Prolog content