LP的目标是弥合逻辑和命令式计算机语言之间的差距，方法是执行生成模型的操作，以使逻辑规则形式的目标-如果是先行的，那么结果是真的-是真的。模型生成是一项全局命令，它会在前提条件变为真时生成命令来使结果为真。
LP还包括逻辑形式结论IF条件的信念。信仰除了其逻辑解释外，还有一种势在必行的解释为程序，它通过做出或确定一个结论是否为真，来做出或确定一个结论是否为真。
可以说，这种目标和信念的结合不仅统一了不同的计算范式，还可以作为人类思维的缩小模型，LPS中的目标是对人类思维的生产系统模型中条件-行动规则的逻辑重构[8]。LPS中的信念是逻辑程序，在心理学研究(如[7])和规范研究(如[6])中已被证明可模拟人类推理。它们还被用来教授计算思维[5]。
现在有两种在线的、开源的LPS原型。第一个是用SWI Prolog实现的，在SWI Prolog上运行[9]，它是由伦敦帝国理工学院资助的CLOUT(用于教学的计算逻辑)项目的一部分，用于支持学校的计算和逻辑教学。原型已经通过启动逻辑合同进行了扩展，以促进法律合同的表示和执行。在逻辑合同的应用中，信念支持构成规则的表示，构成规则定义法律概念，目标支持表达义务和禁止的监管规则的表示。
要在SWISH上尝试LPS，请单击此处，进入示例菜单，然后单击LPS示例、LPS的第一步或金融科技示例。
例如，以下是带有两个反应性规则的LPS sish计划的屏幕截图，这两个规则在Bob和Fariba之间转移资金：
要运行该示例，请在SWISH查询框中键入GO(T)。您将获得一个甘特图，显示通过观察外部事件和系统执行的操作更新的事实的时间表。例如：
如果您改为键入GOGFA(GRAPH)，您将获得状态和状态转换的更抽象的可视化：
第二个原型lps.js是用JavaScript编写的，由Sam Yong作为伦敦帝国理工学院的一个硕士项目实现。它可用于在Web浏览器和Node.js运行时运行LPS程序。《入门》使用指南可在https://lps.js.org/.上找到。要尝试沙箱，请单击此处。
lps.js已经扩展到构建桌面应用程序LPS Studio，以可视化LPS程序，以便使用Electron框架进行交互式讲故事。
还有一款简单得多的LPS游戏，用于向孩子们教授逻辑和计算。你可以从这里下载游戏。
1.科瓦尔斯基，R.和萨德里，F.(2015)作为模型生成的反应性计算。新一代计算，33，1，33-67。
2.科瓦尔斯基，R.和萨德里，F.(2016)在没有逻辑编程的逻辑中编程。TPLP，16，269-295。
4.科瓦尔斯基，R.(2011)，“计算逻辑与人类思维--如何成为人工智能”。剑桥大学出版社。
7.Stenning，K.&；Van Lambalgen，M.(2012年)。人类推理和认知科学。麻省理工学院出版社。
8.Thagard，P.(1996)。“心灵：认知科学导论”(第4卷)。马萨诸塞州剑桥：麻省理工学院出版社。
9.Jan Wielemaker，Fabrizio Riguzzi，Robert Kosalski，Torbjorn Lager，Fariba Sadri，Miguel Calejo。(2019)。使用SWISH实现基于逻辑的语言的基于Web的交互式教程，逻辑编程的理论和实践，19(2)，229-261。