package.lisp @ 9995687a24c8 default tip
Merge pull request #17 from bd339/master Make push-logic-frame-with work with nonlocal exits and multiple values
| author | Steve Losh <steve@stevelosh.com> |
|---|---|
| date | Mon, 21 Dec 2020 20:51:12 -0500 |
| parents | 6f43a660d22a |
| children | (none) |
(defpackage :temperance.utils (:use :cl :temperance.quickutils) (:export :-<> :<> :push-if-new :recursively :recur :megabytes :ecase/tree :ensure-aref :define-lookup :queue :make-queue :enqueue :dequeue :queue-contents :queue-empty-p :queue-append)) (defpackage :temperance.circle (:use :cl) (:export :circle :make-circle-with :make-empty-circle :circle-to-list :circle-prepend :circle-prepend-circle :circle-append :circle-append-circle :circle-next :circle-prev :circle-forward :circle-backward :circle-value :circle-rotate :circle-nth :circle-insert-before :circle-insert-after :circle-sentinel-p :circle-empty-p :circle-remove :circle-backward-remove :circle-forward-remove :circle-replace :circle-backward-replace :circle-forward-replace :circle-splice :circle-backward-splice :circle-forward-splice :circle-insert-beginning :circle-insert-end)) (defpackage :temperance (:use :cl :temperance.circle :temperance.quickutils :temperance.utils) (:export :make-database :*standard-database* :reset-standard-database :with-database :with-fresh-database :invoke-rule :invoke-fact :invoke-facts :rule :fact :facts :push-logic-frame :pop-logic-frame :finalize-logic-frame :push-logic-frame-with :invoke-query :invoke-query-all :invoke-query-map :invoke-query-for :invoke-query-do :invoke-query-find :invoke-prove :query :query-all :query-map :query-for :query-do :query-find :prove :call :? :!))