邏輯編程協會（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軟件包的創造者。