An example of family trees and genealogy in Prolog.