Traversing JSON data

[razetime]

I've been using library(json) to try and get json data, but my (simplified) approach seems a little unwieldy:

j(pairs(J),[X|Y],Z):-member(string(X)-R,J),j(R,Y,Z).
j(list(J),[X|Y],Z):-nth0(X,J,R),j(R,Y,Z).
j(J,[],J).
j(J,_,{error,J}).

Example, if J represents

{ 
 "a": 1,
 "b": {
  "c" : [{"x":[1,2,3]},{"x":[4,5,6]}]
 }
}

then i want to be able to do this:

?- j(J,["b","c",1,"x"],Y).
Y = list([4,5,6]).
?- j(J,["b","c",_,"x"],Y).
Y = list([1,2,3]);
Y = list([4,5,6]).

is there a more idiomatic way to reason about the nested structure of JSON data, and get member values?

[haijinSk]

[razetime]

the idea of my code was to take in a list of keys and retrieve something akin to JS, like the new example i have added. I think that making a new predicate for the specific json structure is fine, but i was looking for something more general and I guess concise.

[razetime]

(also, the error clause as you pointed out in a previous version of this comment was indeed wrong. I was definitely mistaken in adding it.)

[haijinSk]

Yes, without an example I misunderstood... Anyway thanks for mentioning the previous version of my comment.