用C语言进行逻辑编程

Question

我试图用C语言实现一些人工智能规划算法，但是我坚持了基本的概念:)

在讨论主要问题之前，我尝试实现一些支持命题逻辑的小框架：

FORMULA f = PROPOSITION(a + 3 > 0);
FORMULA g = PROPOSITION(is_smaller_than(b, c));
f = AND(NOT(f), g);

现在的问题是，在定义公式时，我不想计算像'a +3> 0‘这样的表达式，而是在以后的一些阶段：

bool res = EVALUATE(f);

在这种情况下，我想闭包会很方便，但不幸的是，我也喜欢坚持使用C99。

有什么想法吗?

，将其扩展到谓词逻辑如何?

最后的目标(理想情况下)是构建一个AI计划库，它可以直接插入应用程序，而不是以剥离程序字符串的形式接收问题。

谢谢

Answer 1

好的,

如上所述，我通过使用带有方法指针和数据的结构解决了这个问题。这是C语言中最常见的模拟闭包的方法。

我的实现可以在这里获得：https://github.com/pmilosev/clumsy