Язык программирования, который включает в себя концепции систем на базе знаний, экспертных систем, двигатели вывода и обработки естественного языка.