我可以将整数列表从 c# 传递给 prolog 谓词吗？答案

【问题标题】：Can I pass an integer list from c# to prolog predicate?我可以将整数列表从 c# 传递给 prolog 谓词吗？
【发布时间】：2020-06-23 18:07:50
【问题描述】：

我在 prolog 中编写了一个谓词，用于验证给定矩阵是否为幻方。它可以工作，但我想使用 C# 制作图形界面。我已经搜索了如何将 prolog 连接到 C#，但没有找到任何关于如何传递变量的信息，或者在我的情况下，整数列表从和到 prolog。我想我的问题是：有可能吗？如果可以，我该怎么做？

这是我的谓词，其中 'Matrix' 和 'X' 是列表列表。

diab(Matrix,X):-
    square_matrix(Matrix),
    lignediff(Matrix),
    lignesom(Matrix,Sum),
    transpose(Matrix,T),
    lignesom(T,Sum),
    diagonal1(Matrix,D1),
    somme(D1,Sum),
    diagonal2(Matrix,D2),
    somme(D2,X).

【问题讨论】：

SWI-Prolog 有一个 C API：swi-prolog.org/pldoc/man?section=calling-prolog-from-c。您需要弄清楚如何从 C# 调用 C API 以及如何链接到 SWI-Prolog 库。

标签： c# prolog ffi swi-prolog

【解决方案1】：

SWIPLCS 是一个可以解决您问题的软件包。可以在here找到文档

【讨论】：