Logic Programming Associates
| Private | |
| Industry | Computer software |
| Founded | 1981 |
| Headquarters | London SW18 3SX |
|
Area served
|
UK, United States, EMEA |
| Products | VisiRule, Flex expert system toolkit, Flint toolkit, LPA Prolog for Windows |
| Website | www.lpa.co.uk |
Logic Programming Associates (LPA) is a company specializing in logic programming and artificial intelligence software. LPA was founded in 1980 and is widely known for its range of Prolog compilers and more recently for VisiRule.
LPA was established to exploit research at Imperial College, London into logic programming carried out under the supervision of Prof Robert Kowalski. One of the first implementations made available by LPA was micro-PROLOG which ran on popular 8-bit home computers such as the Sinclair Spectrum and Apple II. This was followed by micro-PROLOG Professional one of the first Prolog implementations for MS-DOS.
As well as continue with Prolog compiler technology development, LPA has a track record of creating innovative associated tools and products to address specific challenges and opportunities.
In 1989, LPA developed the Flex expert system toolkit, which incorporated frame-based reasoning with inheritance, rule-based programming and data-driven procedures. Flex has its own English-like Knowledge Specification Language (KSL) which means that knowledge and rules are defined in an easy-to-read and understand way.
In 1992, LPA helped set up the Prolog Vendors Group, a not-for-profit organization whose aim was to help promote Prolog by making people aware of its usage in industry.
In 2000, LPA helped set up Business Integrity, now a leading supplier of document assembly and contract creation software solutions for the legal market.
LPA's core product is LPA Prolog for Windows, a compiler and development system for the Microsoft Windows platform. The current LPA software range comprises an integrated AI toolset which covers various aspects of Artificial Intelligence including Logic Programming, Expert Systems, Knowledge-based Systems, Data Mining, Agents and Case-based reasoning etc.
...
Wikipedia