Base de conocimiento con arreglos, Prolog

Language: Layout:

objeto:- write('{'),read(X), (X='atributo'->atributo;write('')),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='cadena'->cadena);(X='objeto'->objeto; X='arreglo'->arreglo; write('error'))).
arreglo:- write('['), read(X), atribarreglo(X), write(']').
atribarreglo(X):- (X='finarreglo'->write(''); tipoatributo(X), read(N),(N='finarreglo'->write('');write(','), atribarreglo(N))).
cadena:- read(X), write('"'), write(X), write('"').
numero:-read(X), write(X).
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.33 sec, cpu time: 0.16 sec, memory peak: 7 Mb, absolute service time: 0,55 sec