PROLOG

?- run_candidate_elim.
"G= "[[_0,_1,_2]]
"S= "[]
"Enter Instance "positive([small, red, ball]).
"G= "[[_0,_1,_2]]
"S= "[[small,red,ball]]
"Enter Instance "negative([large, green, cube]).
"G= "[[small,_96,_97],[_86,red,_87],[_76,_77,ball]]
"S= "[[small,red,ball]]
"Enter Instance "negative([small, blue, brick]).
"G= "[[_86,red,_87],[_76,_77,ball]]
"S= "[[small,red,ball]]
"Enter Instance "positive([small, green, ball]).
"G= "[[_76,_77,ball]]
"S= "[[small,_351,ball]]
"Enter Instance "positive([large, red, ball]).
"target concept is "[_76,_77,ball]
  yes  

Close Window