逻辑编程协会
逻辑编程协会（LPA）是一家专门从事逻辑编程和人工智能软件的公司。LPA成立于1980年，因其一系列的Prolog编译器和最近的VisiRule而广为人知。LPA的成立是为了利用伦敦帝国学院计算和控制系在RobertKowalski教授监督下进行的逻辑编程研究。LPA提供的xxx个实施方案是micro-ROLOG，它可以在流行的8位家用电脑上运行，如SinclairSpectrum和AppleII。随后，micro-PROOG专业版成为首批用于MS-DOS的Prolog实施方案之一。除了继续开发Prolog编译器技术外，LPA在创造创新的相关工具和产品以应对特定的挑战和机遇方面也有良好的记录。
逻辑编程协会的历史
1989年，LPA开发了Flex专家系统工具箱，它将基于框架的推理与继承、基于规则的编程和数据驱动的程序结合起来。Flex有自己的类似英语的知识规范语言（KSL），这意味着知识和规则是以一种易于阅读和理解的方式定义的。1992年，LPA帮助建立了Prolog供应商集团，这是一个非营利性组织，其目的是通过让人们了解Prolog在工业中的使用，帮助推广Prolog。2000年，LPA帮助成立了BusinessIntegrity有限公司，将文件组装技术推向市场。这导致了ContractExpress的诞生，并被出售给大多数主要的律师事务所。2015年，汤森路透收购了BusinessIntegrityLtd。
LPA的核心产品是LPAPrologforWindows，一个用于微软Windows平台的编译器和开发系统。目前LPA的软件系列包括一个集成的人工智能工具集，涵盖了人工智能的各个方面，包括逻辑编程、专家系统、基于知识的系统、数据挖掘、代理和基于案例的推理等。2004年，LPA推出了VisiRule，这是一个用于开发基于知识和决策支持系统的图形工具。VisiRule已经被用于各个领域，建立法律专家系统、机器诊断程序、医疗和金融咨询系统等。
逻辑编程协会的客户
多年来，LPA与ValdisKrebs密切合作，他是社会和组织网络分析领域的美国-拉脱维亚研究人员、作家和顾问。Valdis是Orgnet的创始人和首席科学家，也是流行的Inflow软件包的创造者。