;=====================================================================

(Setf Oscar-pathname "/home/okv/oscar/src/")

;(setf oscar-pathname
;         (parse-namestring
;           "G4 HOME:DOCUMENTS:STABLE:OSCAR:OSCAR FOLDER:"))

(defun full-pathname-of (name) (concatenate 'string oscar-pathname name))

(load (full-pathname-of "Environment.lisp")) 
 
(when (null *tools-loaded*)
     (load (full-pathname-of "tools/OSCAR-TOOLS.lisp"))
     (setf *tools-loaded* t))

(when (null *syntax-loaded*)
     (load  (full-pathname-of "Syntax_3.lisp"))
     (setf *syntax-loaded* t))

;----------------- Loading files----------------------
     
(load (full-pathname-of "Support-link.lisp"))
(load (full-pathname-of "inference/Inference-node.lisp"))
(when (null *trees-loaded*)
     (load (full-pathname-of "Assignment-trees_3-32"))
     (setf *trees-loaded* t))
(load (full-pathname-of "Conclusions.lisp"))
(load (full-pathname-of "Ulimate-epistemic-interests.lisp"))
(load (full-pathname-of "Intrests.lisp"))
(load (full-pathname-of "reasons/Forword-reasons.lisp"))
(load (full-pathname-of "reasons/Backward-reasons.lisp"))
(load (full-pathname-of "inference/Inference-queue.lisp"))
(load (full-pathname-of "reasons/Reasons.lisp"))
(load (full-pathname-of "unification/Skolemization.lisp"))
(load (full-pathname-of "unification/Unification.lisp"))
(load (full-pathname-of "unification/Skolemization.lisp"))


;----------------- End Loading---------------------

(when (and (equal (lisp-implementation-type) "Macintosh Common Lisp")
                    (null *menus-loaded*))
     (load (merge-pathnames oscar-pathname "Oscar-menus"))
     (setf *menus-loaded* t))

(when (null *prob-compiler-loaded*)
     (load (full-pathname-of "reasons/Reason-macros_3-30"))
     (load (full-pathname-of "Prob-compiler_3-24"))
     (setf *prob-compiler-loaded* t))

(when (null *problems-loaded*)
  (load (full-pathname-of "Rules_3-30"))
     ;; combined sentential, defeasible, and first-order problems
  (load (full-pathname-of "Combined-problems.lisp"))
  (load (full-pathname-of "Agent-arguments5"))
     (setf *problems-loaded* t))

(setf *comparison-log*
'(OSCAR_3.33 0.23 0.23 10 0.95
 ((104 38 37 78) (103 154 63 296) (102 20 30 44) (100 3 9 10) (99 260 145 471) (98 43 41 120) (97 13 33 42) (96 5 12 19) (95 14 40 46) (94 33 35 66)
  (93 7 18 24) (92 6 14 14) (91 3 8 8) (90 80 43 101) (89 16 25 47) (88 6 13 20) (87 6 12 14) (86 229 111 297) (85 18 31 45) (84 6 19 20)
  (83 4 16 17) (82 4 13 17) (81 17 39 47) (80 6 22 23) (79 6 26 27) (78 13 38 44) (77 3 12 13) (76 10 32 36) (75 7 19 27) (74 4 14 15) (73 8 17 27)
  (72 6 13 16) (71 12 13 24) (70 4 8 12) (69 2 5 5) (68 2 4 4) (67 1 4 4) (66 1 4 4) (65 5 16 18) (64 6 18 20) (63 5 15 17) (62 2 8 8) (61 7 17 21)
  (60 10 23 32) (59 2 6 6) (58 4 8 8) (57 3 7 7) (56 3 8 10) (55 1 4 4) (54 4 15 18) (53 6 21 23) (52 3 11 11) (51 3 9 9) (50 2 8 8) (49 2 5 6)
  (48 1 4 5) (47 1 6 6) (46 3 12 12) (45 1 5 5) (44 2 6 8) (43 2 3 3) (42 2 5 5) (41 1 3 3) (37 16 36 51) (36 1 5 7) (35 2 4 5) (34 6 18 24)
  (33 9 27 36) (32 31 80 95) (31 1 3 3) (30 3 18 18) (29 4 12 12) (28 2 4 5) (27 1 3 3) (26 1 3 3) (25 4 11 12) (24 3 11 15) (23 2 4 6) (22 1 3 3)
  (21 4 11 14) (20 28 24 32) (19 12 12 16) (18 4 7 8) (17 16 21 27) (16 18 21 29) (15 5 12 13) (14 6 13 14) (13 5 12 13) (12 3 10 11) (11 3 8 9)
  (10 2 4 5) (9 12 13 16) (8 11 9 13) (7 8 9 14) (6 7 16 19) (5 7 11 14) (4 5 8 10) (3 4 14 17) (2 4 7 10) (1 4 7 8)))
)


#|
 '(OSCAR_3.31 0.23 0.23 10 0.95
 ((104 206 37 78) (103 797 43 252) (102 107 30 44) (100 16 9 10) (99 351 33 164) (98 254 41 120) (97 82 33 43) (96 29 12 18) (95 82 40 46)
  (94 178 35 66) (93 38 18 24) (92 33 14 14) (91 16 8 8) (90 415 43 101) (89 97 25 48) (88 38 13 20) (87 29 12 14) (86 1237 111 297) (85 94 31 45)
  (84 32 19 20) (83 27 16 18) (82 23 13 17) (81 93 39 47) (80 38 22 23) (79 41 26 27) (78 77 38 44) (77 18 12 13) (76 74 32 40) (75 51 19 27)
  (74 22 14 15) (73 45 17 27) (72 32 13 16) (71 60 13 24) (70 27 8 12) (69 10 5 5) (68 8 4 4) (67 7 4 4) (66 6 4 4) (65 28 16 18) (64 32 18 20)
  (63 26 15 17) (62 13 8 8) (61 38 17 21) (60 61 23 32) (59 13 6 6) (58 16 8 8) (57 13 7 7) (56 18 8 10) (55 5 4 4) (54 28 15 18) (53 42 21 23)
  (52 17 11 11) (51 15 9 9) (50 12 8 8) (49 10 5 6) (48 8 4 5) (47 8 6 6) (46 18 12 12) (45 9 5 5) (44 11 6 8) (43 5 3 3) (42 8 5 5) (41 4 3 3)
  (37 87 36 51) (36 8 5 7) (35 7 4 5) (34 37 18 24) (33 60 27 36) (32 183 80 95) (31 4 3 3) (30 23 18 18) (29 18 12 12) (28 8 4 5) (27 5 3 3)
  (26 4 3 3) (25 17 11 12) (24 21 11 15) (23 7 4 6) (22 4 3 3) (21 18 11 14) (18 19 7 8) (17 87 21 27) (16 105 21 29) (15 29 12 13) (14 32 13 14)
  (13 31 12 13) (12 20 10 11) (11 18 8 9) (10 12 4 5) (9 61 13 16) (8 57 9 12) (7 45 9 14) (6 41 16 19) (5 38 11 14) (4 22 8 10) (3 27 14 17)
  (2 22 7 10) (1 21 7 8)))
)
|#


nil