Adding prolog/clips' basic family rules & facts.