public void Test10() { //Arrange String[] param = { /*"-q"*/ }; // suppressing informational and banner messages Core.AdeSystem.Initialize(param); Core.AdeSystem.Initialize(param); Core.AdeSystem.LoadDomain(LighbulbsProblem); Core.AdeSystem.ConstructSystemDomain(); //Act var query = new PossiblyInvolvedQuery("possibly involved Mietus in TURNTWO, TURNONE by epsilon,epsilon"); var result = query.ToProlog(); //Assert Assert.AreEqual(result, TrueString); PlEngine.PlCleanup(); }
public void Test16() { //Arrange String[] param = { /*"-q"*/ }; // suppressing informational and banner messages Core.AdeSystem.Initialize(param); Core.AdeSystem.Initialize(param); Core.AdeSystem.LoadDomain(YaleProblem); Core.AdeSystem.ConstructSystemDomain(); //Act var query = new PossiblyInvolvedQuery("possibly involved Hador in SHOOT,SHOOT,ENTICE by Hador,Mietus,Hador"); var result = query.ToProlog(); //Assert Assert.AreEqual(result, TrueString); PlEngine.PlCleanup(); }