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

Texas Instruments представил ARM процессор с малой потребляе

News image

Процессор ориентирован на маломощные применения и выполнен на основе ядра ARM926EJ-STM и DSP-ядра C674x Процессор OMAP-L138 от...

Инструменты

Авторизация



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

Экономическая информация

Информация возникает в процессе регистрации какого-либо события или явления в окружающем мире. Если этот акт регистрации производится в сфере производственных от...

Основные направления развития компьютерной индустрии в ближа

Форум IDF (Intel Developer Forum) имеет свою историю с 1995 года и проводится дважды в год — весной и осенью — ...


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

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

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

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

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

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

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

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

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

 

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


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

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

News image

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

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

News image

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

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

News image

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

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

News image

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

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

News image

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

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

News image

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

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

News image

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

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

News image

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