Новости it-компаний

Fujitsu Siemens Computers представляет самый легкий в мире н

News image

Люди, которые часто бывают в разъездах, нуждаются в том, чтобы иметь возможность работать в любом ме...

HP начата поставка серверов с накопителями типа SSD

News image

Компанией Hewlett-Packard на днях начата поставка наиболее массовых своих серверов ProLiantG5 и G6 с накопителями SS...

Авторизация



Развитие технологий:

Компьютеры четвертого поколения (1970-1985)

Начало 70-х ознаменовалось поистине революционными преобразованиями в элементной базе компьютеров: в 1971 году по заказу производителя калькуляторов компании Busicom корпорация In...

Компания AMD (Advanced Micro Device)

Компания AMD (Advanced Micro Device), основанная в 1969 году в Калифорнии, является одним из крупнейших производителей процессоров. До не столь да...



PROLOG
История - История развития языков программирования

Язык программирования Пролог (PROgramming LOGic) появился в 1972 г., Он был разработан Аланом Колмари из университета в Лумини (Марсель). Пролог в отличие от своих “сверстников”, продолжительное время развивался,применялся и обсуждался в сравнительно узком кругу исследователей, работающих в области искусственного интеллекта.
Алан Колмери, автор языка Пролог, начал работы над полноценной компьютерной реализацией трудов Ковальского с 1972 года во французском университете Марсель-Экс. Он составил алгоритм формального способа интерпретации процесса логического вывода и разработал систему автоматического доказательства теорем, которая была написана на Фортране. Она-то и послужила прообразом Пролога. Этот язык был выбран для решения задач в различных областях,включающих:

ü математическую логику;

ü решение абстрактных задач;

ü понимание естественного языка;

ü автоматизацию проектирования;

ü символьное решение уравнений;

ü анализ биохимических структур.

Пролог является диалоговым языком. Программа на Прологе состоит из множества утверждений, каждое из которых является либо фактом о заданной информации, либо правилом, указывающим, как решение связано с заданными фактами или каким образом его можно из них вывести. В отличие от подавляющего большинства других языков Пролог обычно рассматривается в одном контексте с понятием “логическое программирование”. Фактически Пролог является не процедурным, а декларативным языком. Человек лишь описывает структуру задачи, а Пролог сам ищет решение.

 

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


Защитный код
Обновить

Computer Pioneer

News image

Существуют люди, всю мощь которых, их подвижническую роль и историческую значимость можно по достоинству оценить только спустя некоторое время. Связано эт...

История компьютера в лицах. Сеймур Крей

News image

Сеймур Крей, создатель первого в мире суперкомпьютера, родился в городке Chippewa Falls, штат Висконсин, в 1925 году. Семья Креев имеет ан...

Жесткие диски для ноутбуков становятся тоньше

News image

На данный момент жесткие диски для ноутбуков могут быть толщиной 9,5 мм и 12,5 мм. Первые получили наибольшее распространение, а об...

MacBU подытоживает две тысячи девятый год

News image

Как прошел 2009 год в компании, которую традиционно принято считать вторым крупнейшим разработчиков ПО для платформы Apple Macintosh? В Microsoft Ma...

Financial Times обещает iTablet уже в следующем месяце

News image

Конец декабря редакция Financial Times решила скрасить очередной порцией слухов о планшетнике Apple. По данным издания, это устройство, покорившее заголовки СМ...

Внедрение 6-ядерных процессоров Intel Xeon может потребовать

News image

Изданию Fudzilla стали известны подробности по первому 6-ядерному процессору Intel Xeon. Он получит обозначение Core i7 980X, а его несущая тактовая ча...

VESA официально утвердила стандарт mini DisplayPort

News image

Презентованный Apple осенью 2008-го новый видеоинтерфейс mini DisplayPort (сокращенно mDP) вызвал неоднозначную реакцию, отголоски которой оставались различимыми вплоть до вчерашнего дн...

Планшетный Мак покажут 26 января?

News image

За несколько дней до начала нового 2010 года онлайн-пресса разразилась новым потоком слухов на тему планшетного компьютера Apple: сначала хорошо ос...