;;;; Data for the EXPLORER system. Examples are atoms whose values are lists of feature-value pairs. ;;;; EXPLORER must be modified to make conjectures in order to get "interesting" results from this data ;;; *domains* specifies the domain of each feature (setf *domains* '((sides 3 4)(right-angles 0 1 4)(equal-sides 0 2 3 4) (angle-sum 180 360)(parallel-sides 0 1 2))) (setf isoceles-triangle '((sides 3)(right-angles 0)(angle-sum 180)(equal-sides 2)(parallel-sides 0))) (setf equilateral-triangle '((sides 3)(right-angles 0)(angle-sum 180)(equal-sides 3)(parallel-sides 0))) (setf right-triangle '((sides 3)(right-angles 1)(angle-sum 180)(equal-sides 0)(parallel-sides 0))) (setf right-isoceles-triangle '((sides 3)(right-angles 1)(angle-sum 180)(equal-sides 2)(parallel-sides 0))) (setf triangle '((sides 3)(right-angles 0)(angle-sum 180)(equal-sides 0)(parallel-sides 0))) (setf square '((sides 4)(right-angles 4)(angle-sum 360)(equal-sides 4)(parallel-sides 2))) (setf rhombus '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 4)(parallel-sides 2))) (setf regular-trapezoid '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 2)(parallel-sides 1))) (setf parallelogram '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 0)(parallel-sides 2))) (setf quadrilateral '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 0)(parallel-sides 0))) (setf polygon-examples '(isoceles-triangle equilateral-triangle right-triangle right-isoceles-triangle triangle square rhombus regular-trapezoid parallelogram quadrilateral))