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