AIMA.Test.Core.Unit.Logic.Fol.Inference.FOLModelEliminationTest.testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew C# (CSharp) Метод

        public void testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew()
        {
            // This KB ends up being infinite when resolving, however 2
            // seconds is more than enough to extract the 4 answers
            // that are expected
            testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew(new FOLModelElimination(
                    2 * 1000));
        }