本研究探讨逻辑编程的最新进展，填补形式语义和语言设计的研究空白。结合逻辑与神经网络，提出创新实现方法，推动逻辑编程的应用与理论研究。

本文提出了一种基于范畴论概念的C-集合和双推出重写的计划表示的替代方法，可以有效处理关于世界状态的结构化知识，并提供了使用知识图谱和关系型数据库建模的形式语义。相较于经典规划表示，该方法在处理隐含前提和效果上更优越，提供了更有结构的框架来解决规划问题。