/*block.prb
Winston block domain - simple test example
Alan Bundy 6.12.80
use with winston */


/* space of description tree(s) */
space(block,[shapetree]).

/* description tree(s) */
tree(shapetree,1,shape(prism(wedge,block),pyramid)).

/* Example and near miss */
specimen(block1,[block(a)]).

specimen(wedge1,[wedge(b)]).