Following is a demo of the extra_credit.pl program.
?- solve. abigail's birthday is on a monday in february. brenda's birthday is on a wednesday in december. mary's birthday is on a sunday in june. paula's birthday is on a friday in march. tara's birthday is on a saturday in july. true