/* The Dynasty Database */ /* Based on the Carrington Family from */ /* the TV series called Dynasty */ domains person = symbol predicates is_parent_of(person,person) is_female(person) is_female(person) clauses is_parent_of(blake,stephen). is_parent_of(blake,adam). is_parent_of(blake,falon). is_parent_of(blake,amanda). is_parent_of(blake,christina). is_parent_of(alexis,stephen). is_parent_of(alexis,adam). is_parent_of(alexis,falon). is_parent_of(alexis,amanda). is_parent_of(crystal,christina). is_parent_of(stephen,danny). is_parent_of(sammy_jo,danny). is_parent_of(falon,little_blake).is_parent_of(geoff,little_blake). is_female(alexis). is_female(crystal). is_female(falon). is_female(amanda). is_female(sammy_jo). is_female(christina). is_male(blake). is_male(stephen). is_male(adam). is_male(little_blake). is_male(geoff). is_male(danny).