s-->np,vp.
np-->nn,pp.
np-->nnp.
np-->nn.
np-->nn,nn.
vp-->rb,vb,pp.
vp-->vb,pp.
vp-->rb,vb,np.
vp-->vb,vp.
vp-->vb,np.
pp-->in,nnp.
pp-->in,nn.
pp-->in,np.

nn-->[gia,đình].
nn-->[tỉnh].
nn-->[nhà].
nn-->[ngành].
nn-->[công,nghệ,thông,tin].
nn-->[thành,phố].
in-->[của].
in-->[ở].
nnp-->[nam].
vb-->[sống].
vb-->[học].
vb-->[về].
vb-->[thích].

rb-->[đang].
rb-->[thường].

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using SbsSW.SwiPlCs;
using System.Text.RegularExpressions;
using NUnit.Framework;


namespace Connect_Prolog
{
    class ConnectProlog
    {
        //Load prolog file from hard disk
        public void Load_file(string s)
        {
            s = s.Replace("\\", "//");
            s = "consult('" + s + "')";
            string query = s.Replace("\\", "//");
            //string[] p = { "-q", "-f", query };
            //PlEngine.Initialize(p);
            try
            {
                PlQuery q = new PlQuery(query);
                Assert.IsTrue(q.NextSolution());
            }
            catch (SbsSW.SwiPlCs.Exceptions.PlException e)
            {
                System.Windows.Forms.MessageBox.Show(e.ToString(), "Error");
            }
        }

        // Prosessing a query
        public string Query(string s)
        {
            s.Trim();
            Regex r = new Regex(@"[A-Z_][a-zA-Z_]*");
            MatchCollection matches = r.Matches(s);
            string result = "";
            try
            {
                PlQuery q = new PlQuery(s);
                bool HasSolution = false;
                foreach (PlQueryVariables v in q.SolutionVariables)
                {
                    HasSolution = true;
                    foreach (Match match in matches)
                    {
                        result += v[match.ToString()].ToString() + " ; ";
                    }
                }
                if (matches.Count == 0)
                    return HasSolution ? "true" : "false";
                return result;
            }
            catch (SbsSW.SwiPlCs.Exceptions.PlException ex)
            {
                return "Error query: " + ex.Message;
            }
        }
    }
}

using System;
using System.Data;
using System.Drawing;
using System.Linq;
using System.Text;
using System.Text.RegularExpressions;
using System.Threading.Tasks;
using System.Windows.Forms;
using SbsSW.SwiPlCs;
using NUnit.Framework;
using Connect_Prolog;

namespace Demo_Prolog
{
    public partial class Demo_Prolog : Form
    {
        Connect_Prolog.ConnectProlog connect;
        public Demo_Prolog()
        {
            connect = new ConnectProlog();
            InitializeComponent();
        }

        private void btn_Load_Click(object sender, System.EventArgs e)
        {
            OpenFileDialog op = new OpenFileDialog();
            op.Filter = "Prolog file|*.pl";
            op.ShowDialog();
            String FilePath = op.FileName;
            connect.Load_file(FilePath);
            MessageBox.Show("Load file success !");
            this.btn_Query.Enabled = true;
        }

        private void btn_Query_Click(object sender, EventArgs e)
        {
            if (this.txt_Query.Text != null)
            {
                String s = connect.Query(this.txt_Query.Text);
                this.txt_Result.Text = s;
            }
            else
            {
                MessageBox.Show("Please enter query !");
            }
        }
    }
}

using System;
using System.Collections.Generic;
using System.Linq;
using System.Threading.Tasks;
using System.Windows.Forms;
using SbsSW.SwiPlCs;
using NUnit.Framework;

namespace Demo_Prolog
{
    static class Program
    {
        /// 

        /// The main entry point for the application.
        /// 

        [STAThread]
        static void Main()
        {
            Environment.SetEnvironmentVariable("SWI_HOME_DIR", @"C:\Program Files (x86)\swipl");
            Application.EnableVisualStyles();
            Application.SetCompatibleTextRenderingDefault(false);
            if (!PlEngine.IsInitialized)
            {
                String[] empty_param = { "" };
                PlEngine.Initialize(empty_param);
                Application.Run(new Demo_Prolog());
                PlEngine.PlCleanup();
            }
        }
    }
}