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();
}