Generador JSON con arreglos, Prolog

Language: Layout:

objeto:- write('{'),read(X), (X='atributo'->atributo;write('')),write('}').
a1:- read(X),(X='atributo'-> write(','),atributo;(X='fin'->write(''))).
atributo:- read(X), write('"'), write(X), write('":'),tipoatributo(X),a1. 
tipoatributo(M):- read(X), (X='metodo'->metodo(M);(X='numero'->numero;X='cadena'->cadena);(X='objeto'->objeto;(X='arreglo'->arreglo;write('error ')))).
cadena:- read(X), write('"'), write(X), write('"').
numero:-read(X), write(X).
arreglo:- write('[') ,read(X),(X='item'->item;(X='fin'->write(']');write('error_arre'))).
item:- tipoatributo(' '),read(X),(X='item'->write(','),item;(X='fin'->write(']');write('error_arre'))).
metodo(M):- write('"function() {'),a2,write(' return '), write(M), write(';}"').
a2:- read(X), (X='decision'->decision;a3(X)).
a3(X):- X='asignacion' -> asignacion;(a4(X)).
a4(X):- X='fin' -> write('');(write('ERROR: '),write(X)).
asignacion:- read(X), write(X), write('='), read(Y), write(Y), write(';'),a2.
decision:- write('if('),condicion,write(')'), verdadero, write('}'),falso,write('}').
condicion:-read(X), write(X).
verdadero:- write('{'),a2.
falso:- write('else {'),a2.
:-objeto.

[ - ] Show input
Absolute running time: 0.37 sec, cpu time: 0.17 sec, memory peak: 7 Mb, absolute service time: 0,44 sec