Uma linguagem de computador que incorpora os conceitos de sistemas baseados em conhecimento, sistemas especialistas, motores de inferência e processamento de linguagem natural.