% $Id: FamilyExampleTest.oz,v 1.1 2007/11/26 21:15:54 leavens Exp leavens $ \insert 'FamilyExample.oz' \insert 'SolveFirst.oz' \insert 'SolveAll.oz' \insert 'TestingNoStop.oz' % Who are the children of pop? {Test {SolveAll proc {$ Who} {Dad pop Who} end} '==' [sarah john robert jill]} % Who are the children of mom? {Test {SolveAll proc {$ Who} {Mom mom Who} end} '==' [sarah john robert jill]} % Who is male? {Test {SolveAll proc {$ Who} {Male Who} end} '==' [pop robert john]} % Who is female? {Test {SolveAll proc {$ Who} {Female Who} end} '==' [mom sarah jill]}