if anidado casi listo 7/sep, Prolog

Language: Layout:

objeto :- write('{'), read(X), (X='atributo'->atributo;
                                write('')), write('}').
atributo:- cadena, write(':'), valor,a1.
a1 :- read(X), (X='atributo'->write(','),atributo;
                    X='fin'->write('')).
valor :- read(X), (X='numero'->numero;
                    X='cadena'->cadena;
                    X='metodo'->metodo;                    
                    X='objeto'->objeto).
metodo:- write('"function() {'),instruccion,write('return '),read(X),write(X),write(';}"').

instruccion:- read(X), (X='asignacion'->asignacion;
                    X='decision'->decision;
                    X='fin'->write('')).
decision:- write('if ('),read(X),write(X),write(')'),verdadero, falso.
verdadero:- write('{'),instruccion,write('}').
falso:- write('else{'),instruccion,write('}').
asignacion:- read(X),write(X),write('='),read(Y),write(Y),write(';'),instruccion.                    
cadena:- write('"'),read(X),write(X),write('"').
numero:- read(X),write(X).
:- objeto.

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