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

Самые зеленые IT-компании

News image

Greenpeace назвала IBM и Sun Microsystems самыми зелеными организациями из сферы информационных технологий. Руководителям дю...

Мобильная революция через призму Intel Centrino

News image

В эпоху вычислительных технологий и глобальной телекоммуникационной мобилизации уровень технической грамотности пользователей растет. В частности, эт...

Авторизация



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

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

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

Процессор Pentium MMX

Процессоры Pentium MMX появились несколько позднее, чем следующий тип процессора — Pentium Pro, но для облегчения понимания развития компьютерных технологий сл...



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

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

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

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

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

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

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

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

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

 

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


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

КОНРАД ЦУЗЕ. ПИОНЕР КОМПЬЮТЕРОСТРОЕНИЯ

News image

В Германии его называют изобретателем компьютера , с данным утверждением трудно не согласиться. Единственное, что я добавил бы к эт...

Кто на самом деле первым открыл транзистор?

News image

К сожалению, мировая слава первооткрывателя не всегда достается тем, кто действительно был первым. Это в полной мере можно отнести к ге...

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

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: сначала хорошо ос...