added prolog example