hg.stevelosh.com > temperance

package.lisp @ 1340243d4843 

Start on the logic database

Stalled on the variable renaming part.  Going to try to implement Norvig's
suggestion of maintaining two binding lists in unify.
author Steve Losh <steve@stevelosh.com>
date Thu, 10 Mar 2016 15:14:48 +0000
parents a6a6f6361af3
children 5bb73a585f2c 
(defpackage #:bones
  (:use #:cl)
  (:export #:hello))

(defpackage #:bones.paip
  (:use #:cl #:defstar #:bones.utils)
  (:export #:unify
           #:fail #:no-bindings
           #:*check-occurs*))