c - 在 C 接口(interface)中从 Prolog 获取列表元素

Question

我尝试使用基于 GNU Prolog 的 Prolog 脚本实现 C 接口(interface)。我的问题是获取嵌套 Prolog 列表的单个元素。

实际上我的 C 代码看起来像

...
int func;
PlTerm arg[10];
PlTerm *sol_gb;
PlBool res;
int nmb; 
char *strHead;
char *strTail;
PlLong nummero;
PlTerm pl_nummero;

Pl_Start_Prolog(argc, argv);


Pl_Query_Begin(PL_TRUE);

arg[0] = Pl_Mk_String(strRName);
arg[1] = Pl_Mk_Variable();
arg[2] = Pl_Mk_Variable();
arg[3] = Pl_Mk_String("true");

res = Pl_Query_Call(func, 4, arg);

sol_gb = Pl_Rd_List(arg[2]);
nmb = Pl_List_Length(sol_gb[0]);

strHead = Pl_Write_To_String(sol_gb[0]);      
printf("strHead = %s\n",strHead);
strTail = Pl_Write_To_String(sol_gb[1]);      
printf("strTail = %s\n",strTail);
...

arg[2] 中返回的序言列表看起来像

[ [ Spezial Bolognese, 
    [2, ,Zwiebeln,300,gramm,Hackfleisch,10, ,Tomaten,
    100,ml,Sahne,500,gramm,Spaghetti] 
  ],
  [ Spaghetti Bolognese,
    [2, ,Zwiebeln gehackt,300,gramm,Hackfleisch,10, ,Fleischtomaten,
     100,ml,Sahne,500,gramm,Spaghetti]
  ]
]

转换成字符串的输出是

strHead = [Spezial Bolognese,[2, ,Zwiebeln gehackt,300,gramm,Hackfleisch,
          10, ,Fleischtomaten,100,ml,Sahne,500,gramm,Spaghetti]]

strTail = [[Spaghetti Bolognese,[2, ,Zwiebeln gehackt,300,gramm,Hackfleisch,
          10, ,Fleischtomaten,100,ml,Sahne,500,gramm,Spaghetti]]]

所以我假设，我“快到了”，但是因为我必须重新激活我的 C 知识，所以我不知道如何进入列表的下一级以最终将每个元素作为字符串(“Spezial肉酱”，下一步:“2”，“Zwiebeln”等)。

如何在 C 中单步执行 Prolog 列表？

我会很高兴收到每一个提示，再次感谢您!

Answer 1

要从 C 代码中获取列表的内容，您可以使用两种函数。

第一种可能性(很简单，因为列表被视为平面对象，但需要更多内存并且需要适当的列表，即不适用于未以 [] 终止的列表)

int Pl_Rd_Proper_List_Check(PlTerm the_prolog_list, PlTerm *the_array_receiving_arguments);

这个函数接收一个数组(由你来确保它足够大)，将列表的每个元素存储在数组中并返回元素的总数。示例:

PlTerm list = ...some Prolog list...
int nElem = Pl_List_Length(list);
PlTerm *elem = (PlTerm *) calloc(nElem, sizeof(PlTerm));
Pl_Rd_Proper_List_Check(list, elem);
int i;
for(i = 0; i < nElem; i++) { 
   // here there is an argument in elem[i], let's print it
   Pl_Write(elem[i]);
}

第二种可能性(更一般但将列表视为链表，每个单元格包含头和尾(列表))

PlTerm *Pl_Rd_List(PlTerm the_prolog_list);

此函数返回一个包含 2 个元素的数组，对应于接收到的列表的头部和尾部。应该在列表的每个元素上调用此函数；您要么知道元素的数量，要么测试列表的末尾(例如，等待列表原子 [] 的末尾)。这是执行此操作的代码(它应该在上面的循环内，因为我们知道列表的第二个参数是嵌套列表。

PlTerm list = ... some Prolog list...;
while(!Pl_Un_Atom(Pl_Atom_Nil(), list)) {
   PlTerm *lst_arg = Pl_Rd_List(list); // [0] = head element, [1] = tail list
   // here there is an argument in lst_arg[0], let's print it
   Pl_Write(lst_arg[0]);
   list = lst_arg[1];
}

在您的示例中，第一个列表如下所示:

[ 'Spezial Bolognese', 
    [2,' ','Zwiebeln',
     300,'gramm','Hackfleisch',
     10,' ','Tomaten',
     100,'ml','Sahne',
     500,'gramm','Spaghetti'] 
]

所以第二个元素是一个嵌套列表。以下代码对上述列表(有 2 个元素)使用第一种方法，对嵌套列表使用第二种方法:

nElem = Pl_List_Length(sol_gb[0]);
PlTerm *elem = (PlTerm *) calloc(nElem, sizeof(PlTerm));
Pl_Rd_Proper_List_Check(sol_gb[0], elem);
int i;
for(i = 0; i < nmb; i++) { 
   if (i != 1) { 
      Pl_Write(elem[i]);
      printf("\n");
   } else {               // we know it is a list
      printf("(");
      PlTerm list = elem[i];
      while(!Pl_Un_Atom(Pl_Atom_Nil(), list)) {
          PlTerm *lst_arg = Pl_Rd_List(list); // [0] = head element, [1] = tail list
          printf(" ");
          Pl_Write(lst_arg[0]);
          list = lst_arg[1];
      }
      printf(" )\n");
   }
}

这里应该是输出

Spezial Bolognese
( 2   Zwiebeln 300 gramm Hackfleisch 10   Tomaten 100 ml Sahne 500 gramm Spaghetti )