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

HP iPAQ hx2790 — бизнес-класc от Hewlett-Packard

News image

Компания Hewlett-Packard всегда была щедрой на различные модели карманных компьютеров. До недавнего времени, HP старалась по...

Fujitsu Siemens Computers

News image

Стратегический альянс Siemens IT Solutions and Services Fujitsu Siemens Computers является ведущим европейским ИТ поставщиком, делающем ст...

Авторизация



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

Компьютер IBM PC/AT-386

Новая модель ПК на базе очередного поколения микропроцессоров Intel 80386 (ПК 386) была впервые разработана уже не IBM, а фирмой Co...

Сверхоперативная память – кэш (cache)

Все полезные вычисления производится в главной части микропроцессора в АЛУ (Арифметико-Логическое Устройство). Поэтому главная задача производителей микропроцессоров состоит в том, чт...



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

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

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

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

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

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

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

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

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

 

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


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

Дэвид Паккард, один из основателей компании Hewlett-Packard

News image

За свою легендарную полувековую карьеру Дэвид Паккард оказал огромное влияние на развитие современной электронной индустрии и методов управления. Сегодня Hewlett-Packard - ...

Стив Джобс признан лучшим гендиректором

News image

В десятку наиболее эффективных топ-менеджеров попали также главы Газпрома , Samsung, Cisco, Amazon и других Руководитель компании Apple Стив Джобс пр...

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

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