В последнее время разрабатываю новый язык программирования – Human. На сегодняшний день количество языков программирования перевалило за 200 и появление новых языков зачастую пугает – так как разобраться во всей этой «каше» сложно. Зачем тогда нужен ещё один язык, в чём его преимущество перед другими?
Язык Human – логический и декларативный, наиболее известным языком в этой области является Prolog. Впрочем, сравнивать Human с prolog или с другими подобными ЯП не совсем верно – Human создан не для конкуренции с существующими языками, а для отработки вопросов создании искусственного интеллекта.
Другим важным преимуществом Human является простота записанных на нём программ.
Синтаксис.
Главной чертой языка Human является его принципиальное соответствие обычному человеческому языку. Программы на Human, как и программы на других ЯП, подчиняются определённым правилам, при этом сами правила создаются таким образом, чтобы любая программа на Human соответствовала нормам обычного языка и, таким образом, была понятна любому человеку, в том числе совершенно не знакомому с программированием.
Программа пока разрабатывается для английского языка, планируется возможность поддержки русского, немецкого и других языков.
Пример программы:
Первые два предложения задают начальные параметры. Далее следуют вопросы, на которые программа должна ответить. Вот как выглядит ответ для данной программы:
Приведу более сложный вариант программы, который, всё же, понятен без особых пояснений:
Для языка Human пишется интерпретатор. В отличие от Prolog, он использует не логику предикатов, а особый собственный алгоритм логических автоматических доказательств.