Implement a general to specific search of the version space using the feature vector representation of Section 10.4.1. We specialize feature vectors by replacing variables with constants; since this requires telling the algorithm of allowable values for each field of the feature vector, we must pass this in as an extra argument. The following definition of run_general, the top-level goal, illustrates the necessary initializations for the example used in the text: objects may be small, medium or large, their color may be red, blue or green, and their shape may be ball, brick or cube.

run_general :-

general_to_specific([[_, _, _]], [ ],

[[small, medium, large], [red, blue, green], [ball, brick, cube]]).