Declarative JSON library for Prolog