;;; Some non-portable functions

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