/* Some facts about a family */ male( joe ). male( pat ). female( sharon ). female( mary ). father( joe, mary ). mother( sharon, mary ). married( joe, sharon ).