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

Ближайшие планы Dell по выпуску новых ЖК-мониторов

News image

Dell заказала у своих тайваньских партнеров, AU Optronics (AUO), Chi Mei Optoelectronics (CMO) и Innolux Di...

DigiTimes подтверждает выпуск 4-ядерных мобильных процессоро

News image

Издание DigiTimes сегодня подтвердило свою же летнюю информацию о том, что 4-ядерные мобильные процессоры Intel выпустит в ...

Авторизация



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

Процессор Pentium MMX

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

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

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



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

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

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

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

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

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

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

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

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

 

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


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

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

News image

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

Отец кибернетики

News image

Есть ученые, которые своей работой кардинально меняют взгляды людей на мир - их мало. Есть ученые, которые своей работой кардинально ме...

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

News image

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

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

News image

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

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

News image

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

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

News image

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

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

News image

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

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

News image

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