Квинт Пролог
| Разработчик(и) | Шведский институт компьютерных наук |
|---|---|
| Первоначальный выпуск | 1984 |
| Финальный выпуск | 3,5 / 29 декабря 2003 г |
| Тип | Пролога Реализация |
| Лицензия | Собственный |
| Веб-сайт | квинт |
Quintus Prolog — это собственная реализация языка программирования Пролог , основанная на абстрактной машине Уоррена . Первоначально разработанный Quintus Computer Science, в настоящее время поддерживается SICS . Он долгое время был известен как наиболее высокопроизводительная реализация Пролога, а в начале 1990-х годов он определил де-факто стандарт для реализаций Пролога.
История
[ редактировать ]Quintus Prolog был впервые представлен в 1984 году как реализация недавно предложенной абстрактной машины Уоррена компанией Quintus Computer Science, которая была основана для этой цели Дэвидом Уорреном , Уильямом Корнфельдом, Лоуренсом Бердом, Фернандо Перейрой и Катбертом Хердом . [1] Quintus был продан Intergraph Corporation в 1989 году. [2] [3] и в конечном итоге была приобретена SICS в 1998 году. [1] После того, как некоторые из его функций были объединены в реализацию Prolog SICStus , в 2003 году была выпущена его окончательная версия Quintus 3.5. По состоянию на ноябрь 2023 года. [update], Quintus по-прежнему поддерживается SICS. [1] [4]
Функции
[ редактировать ]Синтаксис, используемый Quintus Prolog, был основан на синтаксисе Пролога DEC-10 . [1] Он долгое время был известен как наиболее высокопроизводительная реализация Пролога и был первым, кто реализовал такие оптимизации, как слияние инструкций и специализация для абстрактной машины Уоррена. [1] [5]
Наследие
[ редактировать ]
Quintus Prolog стал стандартом де-факто и существенно повлиял на стандарт ISO для Пролога, разработанный в 1995/6 году. [1] Кроме того, хотя система модулей, предусмотренная стандартом ISO, отличается от системы модулей Quintus, на самом деле система модулей Quintus более широко применяется в современных реализациях Пролога, чем система, требуемая ISO. [1] Несколько других популярных систем Пролога , как коммерческих, так и исследовательских, находятся под прямым влиянием Quintus Prolog, включая SICStus , SWI-Prolog , YAP и Ciao . [1]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б с д и ж г час Кернер, Филипп; Леушель, Майкл; Барбоза, Жуан; Коста, Витор Сантос; Даль, Вероника; Эрменегильдо, Мануэль В.; Моралес, Хосе Ф.; Вилемакер, Ян; Диас, Дэниел; Абреу, Сальвадор; Чатто, Джованни (ноябрь 2022 г.). «Пятьдесят лет Пролога и не только» . Теория и практика логического программирования . 22 (6): 776–858. дои : 10.1017/S1471068422000102 . hdl : 10174/33387 . ISSN 1471-0684 .
- ^ Джон А.Н. Ли (1995). «Катберт К. Херд» . Международный биографический словарь пионеров компьютеров . Тейлор и Фрэнсис для IEEE Computer Society Press. стр. 388–389 . ISBN 978-1-884964-47-3 .
- ^ Дэвид Э. Вайсберг (2008). «Интерграф» (PDF) . Революция инженерного дизайна: люди, компании и компьютерные системы, которые навсегда изменили практику инженерии . Архивировано из оригинала (PDF) 7 июля 2010 года . Проверено 26 мая 2010 г.
- ^ «Домашняя страница Quintus Prolog» . quintus.sics.se . Проверено 12 ноября 2023 г.
- ^ Нассен, Хенрик; Карлссон, Матс; Сагонас, Константинос (5 сентября 2001 г.). «Объединение инструкций и специализация в виртуальной машине SICStus Prolog» . Материалы 3-й международной конференции ACM SIGPLAN «Принципы и практика декларативного программирования» . Нью-Йорк, штат Нью-Йорк, США: ACM. дои : 10.1145/773184.773191 .
По состоянию на 12 ноября 2023 г. эта статья полностью или частично взята из книги « Пятьдесят лет Пролога и за его пределами» , автором которой является Филипп Кёрнер. Майкл Лешель,Жоао Барбоза,Витор Сантос Коста,Вероника Даль,Мануэль В. Эрменегильдо,Хосе Ф. Моралес,Ян Вилемакер,Дэниел Диас,Сальвадор Абреу,Джованни Чиатто. Владелец авторских прав лицензировал контент таким образом, чтобы его можно было повторно использовать в соответствии с CC BY-SA 3.0 и GFDL . Все соответствующие условия должны быть соблюдены.