c++ - 无法在剪辑嵌入式应用程序中断言事实

Question

我试图在嵌入式应用程序中声明 CLIPS 中的一个新事实。 我尝试了两种方法: - 第一个使用断言，如高级编程指南第 74 页中的示例所示。 - 第二种方法是使用 assert-string。 我单独尝试了每种方式，也尝试了两种方式。

我正在使用 RUN_TIME 模块。我的代码输出了正确的结构(defrules 和 deftemplates)，但新的事实没有断言。只有初始事实在那里。我不知道为什么!

这是我的代码:

#include "clips.h"

int main()
{
    void *theEnv, *newFact, *templatePtr;
    DATA_OBJECT theValue;

    extern void *InitCImage_1();
    theEnv = InitCImage_1();

    EnvReset(theEnv);

    // One way
    templatePtr = EnvFindDeftemplate(theEnv, "Navigation");
    newFact = EnvCreateFact(theEnv, templatePtr);
    if (newFact == NULL) return -1;

    theValue.type = SYMBOL;
    theValue.value = EnvAddSymbol(theEnv, "Auto");
    EnvPutFactSlot(theEnv, newFact, "FlightStatus", &theValue);

    EnvAssert(theEnv, newFact);

    // The other way
    EnvAssertString(theEnv, "(Navigation (FlightStatus Auto))");

    EnvRun(theEnv,-1);

    EnvListDeftemplates(theEnv, "stdout", NULL);
    EnvListDefrules(theEnv, "stdout", NULL);
    EnvListDeffacts(theEnv, "stdout", NULL);
}

我的代码有什么问题？

Answer 1

使用:

EnvFacts(theEnv,"stdout",NULL,-1,-1,-1);

而不是:

EnvListDeffacts(theEnv, "stdout", NULL);

Defacts 是定义在执行(重置)命令时要断言的事实列表的结构。有一个预定义的 initial-facts defacts 在执行重置时断言 (initial-fact)。这就是您在调用 EnvListDefacts 时看到的列表。您想调用 EnvFacts 来查看实际已断言的事实(无论是在重置后由 deffacts 创建还是直接使用断言)。