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

Язык Human – логический и декларативный, наиболее известным языком в этой области является Prolog. Впрочем, сравнивать Human с prolog или с другими подобными ЯП не совсем верно – Human создан не для конкуренции с существующими языками, а для отработки вопросов создании искусственного интеллекта.

Другим важным преимуществом Human является простота записанных на нём программ.

 

Синтаксис.

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

Программа пока разрабатывается для английского языка, планируется возможность поддержки русского, немецкого и других языков.

Пример программы:

John is developer.
Developer is man.
Is John a developer? — yes
Is John a man? – yes

Первые два предложения задают начальные параметры. Далее следуют вопросы, на которые программа должна ответить. Вот как выглядит ответ для данной программы:

 

Is John a developer? — yes
Is John a man? — yes

Приведу более сложный вариант программы, который, всё же, понятен без особых пояснений:

John is a developer. Developer is a man. Man thinks. Cindy is woman. Woman is beauty.
questions:
Is John a developer? Is John a man? Is John a woman? John thinks? Is Cindy beauty? Is man John? Is Man a developer? Is woman Cindy?
 
To be happy means to live good. John is happy. Does John live good?
Human is a programming language. Programming language is cool. Is Human cool?
———answers———
 
Is John a developer? — yes
 Is John a man? — yes
 Is John a woman? — maybe
 John thinks? — yes
 Is Cindy beauty? — yes
 Is man John? — sometimes
 Is Man a developer? — sometimes
 Is woman Cindy? — sometimes
 Does John live good? — yes
 Is Human cool? – yes

 Для языка Human пишется интерпретатор. В отличие от Prolog, он использует не логику предикатов, а особый собственный алгоритм логических автоматических доказательств.

 

Human

 

Скачать интерпретатор Human

VN:F [1.9.10_1130]
Rating: 0.0/10 (0 votes cast)
VN:F [1.9.10_1130]
Rating: 0 (from 0 votes)
Рубрики: Без рубрики

Добавить комментарий

Ваш e-mail не будет опубликован.