A program, written in Prolog, that selects a set of acceptable meetings times for a set of people.