No. I am indeed not familiar with programming in Prolog. I mentioned it because the pattern matching feature of Prolog, (or maybe many functional languages?) is implemented that way. I think find and replace is also a kind of pattern matching, and for the replace feature, the substitution table calculated in that algorithm does the exact job for group referencing in regexp.
In the last one year and more, I focused mainly on the topics of compilers and programming language design. Therefore this project immediately remind me of that algorithm. I have indeed an description of the algorithm in my proposal, therefore it can be implemented easily in C++. Maybe my description is not clear enough, I will add more detail to it now. On Tue, Apr 30, 2013 at 8:44 AM, Cyrille Artho <c.ar...@aist.go.jp> wrote: > Hi Albus, > Thank you for your proposal. > I am not very familiar with the project, but I see that you mention Prolog > in your proposal. Are you planning on using Prolog? Do you have any ideas in > how a similar algorithm could be implemented in C or C++ instead? (It would > be good if a LyX user did not have to install Prolog as LyX currently does > not depend on it.) > > > Albus X wrote: >> >> I have officially submitted my proposal at >> >> https://google-melange.appspot.com/gsoc/proposal/review/google/gsoc2013/albuseer/1 >> >> Please have a review. >> >> On Mon, Apr 29, 2013 at 10:18 AM, Albus X <albus...@gmail.com> wrote: >>>> >>>> I am not very familiar with git, what is the meaning of >>>> [712e1871/lyxgit]? I just cloned the source now. >>> >>> I got it. It's the commit ID and I finally find out what your changed. >>> >>> On Mon, Apr 29, 2013 at 8:49 AM, Albus X <albus...@gmail.com> wrote: >>>> >>>> On Mon, Apr 29, 2013 at 7:15 AM, Tommaso Cucinotta <tomm...@lyx.org> >>>> wrote: >>>>> >>>>> Interestingly, those few scenarios which are documented in the manual, >>>>> are >>>>> not really included in the automated test cases as from >>>>> devel/autotests/findadv-*.in. >>>> >>>> >>>> In fact, it's not in the manual. The manual said I can search by >>>> regex, and gave that example, but not said about how to use the regex >>>> box. Maybe should add some explanation to the manual? >>>> >>>>> these are all nice observations, but they have to be raised on the list >>>>> with >>>>> some different subject line, e.g., "Usability issues in math-writing" >>>>> or similar, >>>>> otherwise you won't get the necessary attention by the right people. >>>> >>>> >>>> Thanks for your pointing out. >>>> >>>>> At least, now there's a regression test for this [712e1871/lyxgit]. >>>> >>>> >>>> I am not very familiar with git, what is the meaning of >>>> [712e1871/lyxgit]? I just cloned the source now. >>>> >>>> Thanks. > > > -- > Regards, > Cyrille Artho - http://artho.com/ > Until Eve arrived, this was a man's world. > -- Richard Armour
