Logic Programming Associates

Одной из первых реализаций Prolog, представленных LPA, стала micro-PROLOG^[2], работавшая на популярных 8-битных домашних компьютерах, таких как Sinclair ZX Spectrum^[3] и Apple II.

Вскоре после этого появился интерпретатор micro-PROLOG Professional — одна из первых реализаций Prolog для IBM PC под управлением MS-DOS. micro-PROLOG Professional мог использовать весь объём доступной памяти (640 КБ) в MS-DOS, что позволяло запускать более масштабные программы.

В 1985 году LPA выпустила LPA MacProlog для компьютеров Macintosh Plus и Macintosh II с возможностью работы с памятью до 4 МБ. Позднее MacProlog был лицензирован компании Quintus для распространения в США.

В 1989 году LPA приступила к разработке нового 32-битного компилятора Prolog с применением технологий DOS-extender, что позволило использовать до 4 ГБ памяти.

На базе этой разработки был создан LPA Prolog for Windows, также известный как WIN-PROLOG^[4], выпущенный для Windows 3.0 в 1990 году.

В настоящее время основным продуктом LPA является LPA Prolog for Windows^[5], компилятор и система разработки для платформы Microsoft Windows. Современная линейка продуктов LPA включает интегрированный набор инструментов для искусственного интеллекта, охватывающий области логического программирования, экспертных систем, систем на основе знаний, обработки данных, интеллектуальных агентов и методов, основанных на случаях.

Продолжая развивать технологии компиляторов Prolog, LPA также разрабатывает инновационные инструменты и продукты для решения специальных задач в области ИИ.

В 1989 году, в ответ на растущий интерес к экспертным системам и появление продуктов вроде Crystal, GoldWorks, NExpert, LPA создала Flex — инструмент для создания экспертных систем. Flex реализовывал поддержку фреймовой модели знаний с наследованием, программирование на правилах и обработку, управляемую данными. В качестве языка спецификации знаний использовался англоязычный KSL, что обеспечивало читаемость и простоту понимания^[6].

Flex поддерживался как надстройка к разным версиям LPA Prolog для Windows, DOS и Macintosh, что позволило LPA войти в быстро развивающийся рынок систем экспертных правил.

Flex быстро стал ведущим инструментом создания экспертных систем на базе Prolog и лицензировался для других платформ, в том числе для Telecomputing Plc (расширяя продукт Top One на мейнфреймах IBM и ICL)^[7].

Существовали и другие реализации: Quintec-Flex, Quintus Flex, Poplog Flex и BIM Flex, работавшие на платформах Unix и/или Vax/VMS.

POPLOG-Flex применялся для создания BRAND EVALUATOR — экспертной системы по оценке стоимости брендов^[8].

Quintec-Flex использовался при создании гибридных систем для нелинейного анализа и проектирования связанных сдвиговых стен^[9].

Flex был выбран Открытым университетом для курса T396 «Искусственный интеллект для технологий»^[10] под руководством профессора Эдриана Хопгуда (Adrian Hopgood). Часть учебных материалов теперь доступна на его сайте AI Toolkit.

Flex использовался и в исследовательском проекте BRUTUS, машине для автоматизированного сочинения историй, созданной Дэвидом Ферруччи и Селмером Бринсжордом^[11].

В 1992 году LPA выступила соучредителем Prolog Vendors Group^[12] — некоммерческой организации, целью которой была популяризация Prolog в промышленности.

В 1996—1998 годах, при содействии гранта DTI Smart, LPA разработала ScaffoldIT^[13][14] — инструмент для создания динамических документов и интеллектуальных веб-сайтов. Технология, основанная на движке LPA Prolog и сервере ProWeb, позволяла генерировать сложные персонализированные документы (например, страховые полисы, юридические контракты, коммерческие предложения) через Интернет.

В 1999—2000 годах на основе этого опыта LPA совместно с Tarlo-Lyons основала Business Integrity Ltd (BIL), чтобы вывести решение на рынок. Продукт стал известен как Contract Express и получил популярность среди крупных юридических фирм по всему миру.

Юристы высоко оценили Contract Express за возможность быстрой и точной автоматизации шаблонов договоров прямо в Word без привлечения IT-специалистов.

Благодаря коммерческому успеху Contract Express, в 2015 году компанию Business Integrity Ltd приобрела Thomson Reuters^[15].

Ранняя история Business Integrity Ltd подробно описана Клайвом Спенсером^[16].

В 2004 году LPA представила VisiRule^[17] — графический инструмент для создания систем поддержки принятия решений и экспертных систем. Описание VisiRule опубликовано в IEEE Potentials в 2007 году (Drawing on your knowledge with VisiRule).

VisiRule использовался в различных отраслях для построения юридических экспертных систем, систем диагностики, медицинских и финансовых консультативных решений.

В 2013 году VisiRule был интегрирован в систему поддержки решений Ecosystem Management Decision Support (EMDS), где используется для расширенных функций поддержки принятия решений. EMDS объединяет современные ГИС, алгоритмы логического программирования и моделирования решений на разных платформах (Windows, Linux, Mac OS X), включая процесс адаптивного управления экосистемами. Система поддерживается и развивается Mountain View Business Group (см. статью в Frontiers in Environmental Science).

В 2023 году VisiRule был включён в пятёрку лучших программ поддержки принятия решений для крупных предприятий на 2024 год^[18].

В течение многих лет LPA сотрудничает с Валдисом Кребсом (Valdis Krebs), американско-латвийским исследователем, автором и консультантом по социальному и организационному анализу сетей. Кребс основал компанию Orgnet и разработал популярный пакет Inflow для анализа сетей.

LPA Prolog и Flex использовались для создания Allergenius — экспертной системы для интерпретации результатов аллергенных микроматричных исследований. База знаний и правила были сформированы на основе литературы и специализированных баз данных. Входные данные включали идентификатор пациента, диагнозы, результаты кожных проб или иммунологических тестов. Выход представлял собой медицинский отчёт^[19].