Esempi in C# (CSharp) per PossiblyExecutableQuery.ToProlog

Esempio n. 1

File: QueriesYaleProblemTests.cs Progetto: PawelReszka/RWProj1

        public void Test01()
        {
            //Arrange
            String[] param = { /*"-q"*/ };  // suppressing informational and banner messages
            Core.AdeSystem.Initialize(param);
            Core.AdeSystem.LoadDomain(YaleProblem);
            Core.AdeSystem.ConstructSystemDomain();

            //Act
            var query  = new PossiblyExecutableQuery("possibly executable entice by hador from !a & !w");
            var result = query.ToProlog();

            //Assert
            Assert.AreEqual(result.ToLower(), FalseString.ToLower());

            PlEngine.PlCleanup();
        }