Un lenguaje de programación que incorpora los conceptos de sistemas basados en conocimiento, sistemas expertos, motores de inferencia y procesamiento del lenguaje natural.