我正在尝试通过自己的小程序来理解Swi-cs-pl库是如何工作的,但是我无法打印出来自查询的任何结果based on the example from SWI-Prolog web.
我有这段代码:
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using SbsSW.SwiPlCs;
namespace HolaMundo
{
class Program
{
static void Main(string[] args)
{
if (!PlEngine.IsInitialized)
{
String[] param = { "-q" }; // suppressing informational and banner messages
PlEngine.Initialize(param);
PlQuery.PlCall("assert(father(hader, nevar))");
PlQuery.PlCall("assert(father(hader, sergio))");
PlQuery.PlCall("assert(brother(nevar, sergio):- father(hader, nevar), father(hader, sergio))");
//How do I write out in a Console the answer for a query like:
// brother(nevar, sergio)
PlEngine.PlCleanup();
}
}
}
}
正如我在我的代码中所说,我只想查询基本的内容,例如:brother(nevar, sergio).
,并从控制台获取任何答案,如true
或其他任何内容。
任何人都可以帮助我吗?