1

我正在尝试实现一个采用 FOL 语句并以子句形式返回等效语句的函数。任何关于链接的想法,样本,因为我找不到任何到目前为止。

4