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

        public void testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew()
        {
            // The clauses in this KB can keep creating resolvents infinitely,
            // therefore give it 20 seconds to find the 4 answers to this, should
            // be more than enough.
            testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew(new FOLTFMResolution(
                    40 * 1000));
        }