Init.lisp                                                                    

Enviroment.lisp

Oscar-Tools .lisp

Syntax.lisp

Support-link.lisp

Inference-node.lisp

Unification.lisp

Reason-macros_3-30.lisp

Prob-compiler_3-24.lisp

Rules_3-30.lisp

Assignment_trees_3-24.lisp

Conclusions.lisp

Ultimate-apistemic-interests.lisp

Interests.lisp

Forward-reasons.lisp

Inference_queue.lisp

Reasons.lisp

Skolemization.lisp

Combined-problems.lisp

Agent-arguments5.lisp