;;; Some non-portable functions

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

(define first car)
(define second cadr)
(define rest cdr)
(define (make-predicate-hash) (make-hash-table 1009))
(define predicate-hash-insert (hash-associator eq?))
(define predicate-hash-lookup (hash-inquirer eq?))

(load "initdr.scm")
(load "unify")
(load "cnf")
(load "prover")