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