Prototipo Sistema Experto

[biribau]

Nunca hice uno, pero siempre que leí algo acerca de ellos eran modelados en Prolog (quizá sólo era una comodidad académica). Mercury es el nuevo Prolog, lo he usado y mola bastante, tiene sistema de tipos al estilo funcional(Hindley-Milner, aunque creo que esto se le llama solo a la inferencia) e incorpora por ende todo lo de este(lo que suelen incorporar con el), como funciones de orden superior(o predicados), curryficacion etc.
Por ello también puedes saltar de un paradigma a otro cuando quieras, y no hay cosas feas como corte o predicados con efectos laterales, es puro.
(Por cierto, creo que le falta también lo de alterar la base de conocimientos, esto sí que podría molestar(assert/1, retract/1 creo que eran en prolog), aunque supongo que se podrán modelar como un TAD fácilmente(aunque no tan comodo))
Este lenguaje también tiene compilacion a jvm, .net, codigo máquina, y FFI a estos.
Sólo le hecho en falta un intérprete.

Lo cierto es que no se como se hace un sistema experto, pero si es añadir reglas, relaciones, hechos, Mercury o Prolog pueden ayudar bastante.

Googleando un poco tambien hay cosas como estas, para Perl por ejemplo: http://sourceforge.net/projects/inferenczy/

Suerte