C# C中的P#-类型或名称空间名称'；呼叫"u3' ;；命名空间中不存在'；JJC.Psharp.Predicates'；

我是p#和c#用户的新手，我希望将c#程序连接到prolog并从prolog获得输出， 但是，当我将p#console生成的文件放到c#目录并尝试运行它时，它给出了这个错误

“错误6命名空间'JJC.Psharp.Predicates'中不存在类型或命名空间名称'Call_3'（是否缺少程序集引用？）”

---

我该怎么解决这个问题？非常感谢您的帮助。

您的_predict.cs是否在PSharp解释器中正确创建？是的，我使用PSharp解释器编译了我的.pl文件。但是，除了我自己定义的谓词外，我还使用了预定义函数，如max（x，y）、exclude（x，y，Z）和maplist（x，y）。当我在放入生成的所有.cs文件后尝试运行该程序时，出现了错误，命名空间名称“exclude_3”，“maplist_3”在命名空间中不存在。之后，我将maplist exclude的prolog代码从internet复制并再次编译为.cs文件，另一个错误是，预定义的函数“call_3”再次弹出。仅供参考，集成缺少的
内置
谓词（如
exclude
或
maplist
Opps）并不是这样的。。。如果是这种情况，我应该如何集成这些缺失的谓词？
您的_predict.cs
是否在PSharp解释器中正确创建？是的，我使用PSharp解释器编译了我的.pl文件。但是，除了我自己定义的谓词之外，我还使用了预定义函数，如max（x，y）、exclude（x，y，Z）和maplist（x，y）。当我在放入生成的所有.cs文件后尝试运行该程序时，出现了错误，命名空间名称“exclude_3”，“maplist_3”在命名空间中不存在。之后，我将maplist exclude的prolog代码从internet复制并再次编译为.cs文件，另一个错误是，预定义的函数“call_3”再次弹出。仅供参考，集成缺少的
内置
谓词（如
exclude
或
maplist
Opps）并不是这样的。。。如果是这种情况，我应该如何集成这些缺失的谓词？