content: package aima.test.core.unit.logic.fol.inference;
  
  import org.junit.Test;
  
  import aima.core.logic.fol.inference.FOLFCAsk;
  import aima.test.core.unit.logic.fol.CommonFOLInferenceProcedureTests;
  
  /**
   * @author Ciaran O'Reilly
   * 
   */
  public class FOLFCAskTest extends CommonFOLInferenceProcedureTests {
  
  	@Test
  	public void testDefiniteClauseKBKingsQueryCriminalXFalse() {
  		testDefiniteClauseKBKingsQueryCriminalXFalse(new FOLFCAsk());
  	}
  
  	@Test
  	public void testDefiniteClauseKBKingsQueryRichardEvilFalse() {
  		testDefiniteClauseKBKingsQueryRichardEvilFalse(new FOLFCAsk());
  	}
  
  	@Test
  	public void testDefiniteClauseKBKingsQueryJohnEvilSucceeds() {
  		testDefiniteClauseKBKingsQueryJohnEvilSucceeds(new FOLFCAsk());
  	}
  
  	@Test
  	public void testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() {
  		testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLFCAsk());
  	}
  
  	@Test
  	public void testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() {
  		testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(new FOLFCAsk());
  	}
  
  	@Test
  	public void testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds() {
  		testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds(new FOLFCAsk());
  	}
  }