Clasificador con if anidado, Prolog

Language: Layout:

objeto :- write('{'), read(X),(X='atributo'->atributo;
                               write('')),a1,
                               write('}').
a1:- read(X),(X='atributo'->write(','),atributo,a1;
              X='fin'->write('')).
atributo:-cadena, write(':'), valor.
valor:- read(X), (X='numero'->numero;
                  X='cadena'->cadena; 
                  X='objeto'->objeto;
                  X='metodo'->metodo).
cadena:-write('"'),read(X),write(X),write('"').
numero:- read(X),write(X).
metodo:- write('"function() {'),instruccion,write('}"').
instruccion:- read(X), (X='asignacion'->asignacion,instruccion;
                        X='condicion'->condicion,instruccion;
                        X='fin'-> write(' return '), read(Y), write(Y), write(';')).
asignacion:- numero,write('='), numero, write(';').
condicion:- read(X), (X='verdadero'->verdadero,condicion;
                      X='falso'->falso,condicion;
                      X='contenido'->contenido,condicion;
                      X='fincon'->write('}'),condicion;
                      X='fin'->write('')).
verdadero:- write('if('), read(X),write(X),write('){ ').
falso:- write('if('), read(X),write(X),write('){ ').
contenido:- read(X), write(X), write('; ').
:- objeto.

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