/*figures*/
/*test descriptions for evans program*/
/*Alan Bundy 26.10.79*/

problem1(Ans) :- evans(figa,figb,figc,[fig1,fig2,fig3,fig4,fig5],Ans).
problem2(Ans) :- evans(figa,figb,figc,[fig1,fig2,fig3,fig4a,fig5],Ans).
problem3(Ans) :- evans(figa,figb,figc,[fig1,fig2,fig3,fig5],Ans).


objects(figa,[tri1,tri2]).
relations(figa,[[inside,tri1,tri2]]).

objects(figb,[tri3]).
relations(figb,[]).

similarities(figa,figb,[[tri2,tri3,direct], [tri1,tri3,[scale,2]]]).

objects(figc,[square,circle]).
relations(figc,[[inside,square,circle]]).


objects(fig1,[circle2,circle3]).
relations(fig1,[[inside,circle2,circle3]]).
similarities(figc,fig1,[[circle,circle3,direct],
                        [circle,circle2,[scale,half]]]).

objects(fig2,[square2]).
relations(fig2,[]).
similarities(figc,fig2,[[square,square2,direct]]).

objects(fig3,[tri4,circle4]).
relations(fig3,[[inside,tri4,circle4]]).
similarities(figc,fig3,[[circle,circle4,direct]]).

objects(fig4,[circle5]).
relations(fig4,[]).
similarities(figc,fig4,[[circle,circle5,direct]]).

objects(fig4a,[square3]).
relations(fig4a,[]).
similarities(figc,fig4a,[[square,square3,[scale,2]]]).

objects(fig5,[tri5]).
relations(fig5,[]).
similarities(figc,fig5,[]).