/* RELATIONS.LOGIC */ /* Relations knowledge base. Used in Lesson 2. */ is_a(abel,male). is_a(adam,male). is_a(bert,male). is_a(bill,male). is_a(cain,male). is_a(charles,male). is_a(chris,male). is_a(amanda,female). is_a(anjali,female). is_a(anne,female). is_a(belinda,female). is_a(beth,female). is_a(bridget,female). is_a(caroline,female). is_a(christine,female). is_a(freda,female). is_a(gertrude,female). is_father_of(abel,bert). is_father_of(abel,belinda). is_father_of(abel,beth). is_father_of(adam,bill). is_father_of(adam,bridget). is_father_of(bill,caroline). is_father_of(bill,cain). is_father_of(bert,charles). is_father_of(bert,chris). is_mother_of(amanda,bert). is_mother_of(amanda,belinda). is_mother_of(amanda,beth). is_mother_of(anjali,bill). is_mother_of(anjali,bridget). is_mother_of(belinda,caroline). is_mother_of(beth,cain). is_mother_of(belinda,charles). is_mother_of(belinda,chris).