jproba con un árbol, una rama y una hoja, 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='arreglo'->arreglo;
                    X='objeto'->objeto).
metodo:- write('"function() {'),instruccion,write('return a;}"').
arreglo:-write('['), read(X), (X='valor'->valor;
                                write('')), write(']').
instruccion:- read(X), (X='asignacion'->asignacion;
                    X='decision'->decision;
                    X='fin'->write('')).
decision:- write('if ('),read(X),write(X),write(')'),verdadero.
verdadero:- write('{'),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.16 sec, memory peak: 7 Mb, absolute service time: 0,35 sec