Clasificador de objetos isan, Prolog

Language: Layout:

objeto :- write('{'),aux1, write('}').

aux1 :- read(X),(X='atributo'->atributo;
                 X='fin'->write('')). 
atributo :-cadena, write(':'),valor,aux2.

aux2 :- read(X),(X='atributo'->write(','),atributo;
                 X='fin'->write('')). 
cadena :- read(X),write('"'),write(X),write('"').
numero :- read(N),write(N).
arreglo :- write('['),aux3,write(']').
aux3 :- read(X),(X='valor'->valor,aux4;
                 X='fin'->write('')).
aux4 :- read(X),(X='valor'->write(','),valor,aux4;
                 X='fin'->write('')). 
verdadero :- write('true').
falso :- write('false').
metodo :- write('"function() {'),instruccion, write('return isan}"').
asignacion :- read(X),write(X),write('='),read(Y),write(Y),write(';').
aux5 :- read(X),(X='sinosi'->write('else '),decision;
                 X='sino'->write('else {'),instruccion,write('}');
                 X='fin'->write('')).
decision :- write('if ('),read(C),write(C),write(') {'),instruccion,write('}'),aux5.
instruccion :- read(I),(I='asignacion'->asignacion,instruccion;
                 I='decision' ->decision,instruccion;
                 I='fin'->write('')).
valor :-read(Y),(Y='cadena'->cadena;
                 Y='numero'->numero;
                 Y='objeto'->objeto;
                 Y='arreglo'->arreglo;
                 Y='metodo'->metodo;
                 Y='true'->verdadero;
                 Y='false'->falso).
:- objeto.

[ - ] Show input
Absolute running time: 0.36 sec, cpu time: 0.23 sec, memory peak: 7 Mb, absolute service time: 0,42 sec