Prolog pl samples