Add minimal prolog sample