Base de Conocimiento, Prolog

Language: Layout:

arreglo:- write('['), read(X), (X='tipoatributo'->(tipoatributo(X), a5);  (X='fin'->write(''))), write(']').
objeto:- write('{'), read(X), (X='atributo'->atributo), write('}').
a1:- read(X),(X='atributo'-> write(','), atributo; (X='fin'->write(''))).
a5:- read(X), (X='tipoatributo'-> write(','), tipoatributo(X), a5);  (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')).
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.32 sec, cpu time: 0.16 sec, memory peak: 7 Mb, absolute service time: 0,44 sec