如何使用Swi-cs-pl库从C#打印出SWI-Prolog查询的结果

时间:2014-05-05 16:45:25

标签: c# prolog swi-prolog

我正在尝试通过自己的小程序来理解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或其他任何内容。

任何人都可以帮助我吗?

0 个答案:

没有答案
相关问题