The following is a demo of the extra_credit.pl program.
?- solve. abigail was born on a monday in february. brenda was born on a wednesday in december. mary was born on a sunday in june. paula was born on a friday in march. tara was born on a saturday in july. true false