;;; Some non-portable functions

(define rest cdr)
(define (make-predicate-hash) (make-eq-hash-table 1009))
(define predicate-hash-insert hash-table/put!)
(define (predicate-hash-lookup table key) (hash-table/get table key #f))
(define (identity x) x)

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