Clean up some of the WAM code/interface
Keeping the transliterated machine instruction functions around for now. I'll
probably remove them later.
| author |
Steve Losh <steve@stevelosh.com> |
| date |
Fri, 25 Mar 2016 11:51:13 +0000 |
| parents |
f57121ef4229 |
| children |
fcec9e0c9c67 |
(defpackage #:bones
(:use #:cl)
(:export #:hello))
(defpackage #:bones.wam
(:use #:cl #:defstar #:bones.utils #:optima)
(:import-from #:optima #:match))
(defpackage #:bones.paip
(:use #:cl #:defstar #:bones.utils)
(:documentation "Test?")
(:export
;; Unification, constants
#:unify
#:fail #:no-bindings
#:*check-occurs*
;; Destructive unification
#:unify!
#:unbound
#:bound-p
;; Database management
#:clear-db
#:fact
#:rule
;; Lisp data structures as results
#:return-one
#:return-all
;; Interactive queries
#:query
#:query-one
#:query-all
))