Logic Programming Associates ( LPA ) es una empresa especializada en programación lógica y software de inteligencia artificial . LPA fue fundada en 1980 [1] y es ampliamente conocida por su gama de compiladores Prolog y más recientemente por VisiRule.
LPA se estableció para aprovechar la investigación del Departamento de Computación y Control del Imperial College de Londres en la programación lógica llevada a cabo bajo la supervisión del profesor Robert Kowalski . Una de las primeras implementaciones puestas a disposición por LPA fue micro-PROLOG [2] que se ejecutó en populares computadoras domésticas de 8 bits como Sinclair Spectrum [3] y Apple II . A esto le siguió micro-PROLOG Professional, una de las primeras implementaciones de Prolog para MS-DOS .
Además de continuar con el desarrollo de la tecnología del compilador Prolog, LPA tiene un historial de creación de herramientas y productos asociados innovadores para abordar desafíos y oportunidades específicos.
En 1989, LPA desarrolló el conjunto de herramientas del sistema experto Flex, que incorporó razonamiento basado en marcos con herencia, programación basada en reglas y procedimientos basados en datos. Flex tiene su propio lenguaje de especificación de conocimientos (KSL) similar al inglés, lo que significa que el conocimiento y las reglas se definen de una manera fácil de leer y comprender. [ cita requerida ]
En 1992, LPA ayudó a establecer Prolog Vendors Group, [4] una organización sin fines de lucro cuyo objetivo era ayudar a promover Prolog al concienciar a las personas sobre su uso en la industria.
En 2000, LPA ayudó a establecer Business Integrity Ltd, para llevar al mercado la tecnología de ensamblaje de documentos. Esto llevó a la creación de Contract Express, que se vendió a la mayoría de los principales bufetes de abogados. En 2015, Thomson Reuters adquirió Business Integrity Ltd.