added sample prolog files