001    package aima.test.logictest.foltest;
002    
003    import aima.logic.fol.inference.FOLBCAsk;
004    
005    /**
006     * @author Ciaran O'Reilly
007     * 
008     */
009    public class FOLBCAskTest extends CommonFOLInferenceProcedureTests {
010    
011            public void testDefiniteClauseKBKingsQueryCriminalXFalse() {
012                    testDefiniteClauseKBKingsQueryCriminalXFalse(new FOLBCAsk());
013            }
014            
015            public void testDefiniteClauseKBKingsQueryRichardEvilFalse() {
016                    testDefiniteClauseKBKingsQueryRichardEvilFalse(new FOLBCAsk());
017            }
018    
019            public void testDefiniteClauseKBKingsQueryJohnEvilSucceeds() {
020                    testDefiniteClauseKBKingsQueryJohnEvilSucceeds(new FOLBCAsk());
021            }
022    
023            public void testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() {
024                    testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLBCAsk());
025            }
026            
027            public void testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() {
028                    testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(new FOLBCAsk());
029            }
030    
031            public void testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds() {
032                    testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds(new FOLBCAsk());
033            }
034    }