/*

  Induction of Kepler's Third Law
  
  Herbert A. Simon, Patrick W. Langley, Gary L. Bradshaw
  "Scientific Discovery as Problem Solving"
  SYNTHESE, Vol 47, No 1, April 1981
  (table page 13)
  
  The induced law is
      (D^3/P^2)*10^6 = 7.50

 NOPE!

 Cf  http://hakank.org/jgap/kepler.conf

*/
data(kepler,Data,Vars,Unknown,Ops,Constants,MaxC) :-
  Data =  [
            % Mercury  
            [[0.387143],87.9583],
            % Venus   
            [[0.722467],224.232],
            % Earth    
            [[1.0],365.256],
            % Mars     
            [[1.524881], 687.580],
            % Jupiter  
            [[5.208507], 4340.49],
            % Saturn   
            [[9.543414], 10765.27]
  ],
  get_global_map().put("approx",10),
  Unknown = [2], 
  Vars = ["D"],
  Ops = new_map([infix=["*","/","**"]]),
  Constants = 2..3,
  MaxC = 7.