Clean up topological-sort
We don't actually need to get the full set of minimal elements on each iteration
because we don't need to break ties. It'll be faster (and cleaner) to just grab
the first one we find.
| author |
Steve Losh <steve@stevelosh.com> |
| date |
Sat, 26 Mar 2016 19:30:09 +0000 |
| parents |
fcec9e0c9c67 |
| children |
3ac6e0d897af |
(defpackage #:bones
(:use #:cl)
(:export #:hello))
(defpackage #:bones.wam
(:use #:cl #:defstar #:bones.utils #:optima #:cl-arrows)
(:import-from #:optima #:match)
(:shadowing-import-from #:cl-arrows #:->))
(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
))