Masatake YAMATO
Masatake YAMATO
O.k. I wrote minimum version of prolog parser. ``` $ cat input.pl mother_child(trude, sally). $ cat prolog.ctags --langdef=Prolog --map-Prolog=.pl --kinddef-Prolog=p,predicate,predicates --regex-Prolog=/^([a-zA-Z_]+)\([^.]+\)./\1/p/ $ ./ctags --options=./prolog.ctags --languages=Prolog -o - input.pl mother_child input.pl...
Let's extend the input a bit. ``` parent_child(X, Y) :- father_child(X, Y). parent_child(X, Y) :- mother_child(X, Y). ``` The first question is `parent_child` should be tagged twice or once? I...
``` $ cat input.pl /* input.pl */ mother_child(trude, sally). father_child(tom, sally). father_child(tom, erica). father_child(mike, tom). sibling(X, Y) :- parent_child(Z, X), parent_child(Z, Y). parent_child(X, Y) :- father_child(X, Y). parent_child(X, Y) :-...
I guess arity field and signature field should be filled.
Feel free to reopen this.
Thank you for the information. However, using the code in ctags is limited: ```C /* * ptags - creates entries in a tags file for Prolog predicates * * Usage:...
Thank you. My email address is [email protected]. A. ``` GNU General Public License version 2 or (at your option) any later version. ``` that is found in https://github.com/universal-ctags/ctags/blob/master/COPYING , B....
BTW, will you help me test the parser? We already have a prototype. https://github.com/universal-ctags/ctags/issues/2628#issuecomment-679816894
@dseddah, could you try #4249? I have not used the ptags code directly. ``` $ cat input.pl :- module(mymod, [a/0, a/1, a/2]). a. a(X) :- X is 1. a(X, Y)...
> ... I also think I see what you're doing. I can build on that... @TrentSe Any progress?