% $Id: CapitalsTest.oz,v 1.1 2007/11/26 21:09:52 leavens Exp leavens $ \insert 'Capitals.oz' \insert 'SolveFirst.oz' \insert 'SolveAll.oz' \insert 'TestingNoStop.oz' fun {QueryCapitals State City} Ans = {SolveOne proc {$ Ok} {Capitals State City} Ok=yes end} in if Ans \= nil then yes else no end end % ground queries {Test {QueryCapitals florida tallahassee} '==' yes} {Test {QueryCapitals newYork albany} '==' yes} % closed world {Test {QueryCapitals georgia atlanta} '==' no} % queries with unbound variables % What is the capital of iowa? {Test {SolveFirst proc {$ What} {Capitals iowa What} end} '==' desMoines} % What state is albany the capital of? {Test {SolveFirst proc {$ What} {Capitals What albany} end} '==' newYork}