Язык Лейбниц
Язык Лейбниц (Leibniz language) — язык внутреннего формального представления знаний или запросов для интеллектуальных систем, определяющий универсальную семантическую грамматику для вычисления смысла текстов. [Словарь понятий по информатике