Arreglo dentro de Arreglo, 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; write(X),X='arreglo'->arreglo;write('error'))).
cadena:- read(X), write('"'), write(X), write('"').
numero:-read(X), write(X).
arreglo:- write('['),read(X), item(X), write(']').
item(X):- (X='last'->write(''); tipoatributo(X), read(N),(N='last'->write('');write(','), item(N))).
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.33 sec, cpu time: 0.2 sec, memory peak: 7 Mb, absolute service time: 0,44 sec