;;; Some non-portable functions

(require 'hash-table)
(require 'sort)

(load "../scm-compat.scm")
(load "../useful.scm")
(load "../rules/rule-utils")
(load "../rules/unify")
(load "cnf")
(load "prover")

;;The default emulation of these functions assume equal?, eq? is better
;;(define (make-predicate-hash) (make-hash-table 1009))
;;(define predicate-hash-insert (hash-associator eq?))
;;(define predicate-hash-lookup (hash-inquirer eq?))