% $Id: FamilyExample.oz,v 1.1 2007/11/26 21:15:58 leavens Exp leavens $ declare proc {Dad ?Father ?Kid} choice Father=pop Kid=sarah [] Father=pop Kid=john [] Father=pop Kid=robert [] Father=pop Kid=jill end end proc {Mom ?Mother ?Kid} {Dad _ Kid} Mother=mom end proc {Male ?Person} choice Person=pop [] Person=robert [] Person=john end end proc {Female ?Person} choice Person=mom [] Person=sarah [] Person=jill end end