Prolog con arreglos, Prolog

Language: Layout:

objeto:- write('{'),read(X), (X='atributo'->atributo),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='arreglo'->arreglo;X='cadena'->cadena;X='objeto'->objeto;write('error')).
tipoatributo1:- read(X), (X='numero'->numero; X='arreglo'->arreglo;X='cadena'->cadena;X='objeto'->objeto;write('error')).
cadena:- read(X), write('"'), write(X), write('"').
numero:-read(X), write(X).
arreglo:- write('['), tipoatributo1, a5,write(']').
a5:- read(X),(X='siguiente'-> write(','),tipoatributo1,a5;(X='fin'->write(''))).
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.27 sec, cpu time: 0.15 sec, memory peak: 7 Mb, absolute service time: 0,44 sec