Add ZDD package
author |
Steve Losh <steve@stevelosh.com> |
date |
Thu, 27 Oct 2016 14:16:07 +0000 |
parents |
183f355ca260 |
children |
67daea4e67cb |
(defpackage #:scully.gdl
(:use
#:cl
#:losh
#:iterate
#:cl-arrows
#:temperance
#:scully.quickutils)
(:export
#:read-gdl
#:load-rules
#:redump-gdl))
(defpackage #:scully.rule-trees
(:use
#:cl
#:losh
#:iterate
#:cl-arrows
#:scully.quickutils)
(:export))
(defpackage #:scully.zdd
(:use
#:cl
#:losh
#:iterate
#:cl-arrows
#:scully.quickutils)
(:export))
(defpackage #:scully.reasoners.prolog
(:use
#:cl
#:losh
#:iterate
#:cl-arrows
#:temperance
#:scully.quickutils)
(:export
#:prolog-reasoner
#:make-prolog-reasoner
#:load-rules
#:initial-state
#:terminalp
#:next-state
#:legal-moves-for
#:percepts-for
#:roles
))
(defpackage #:scully.grounders.prolog
(:use
#:cl
#:losh
#:iterate
#:optima
#:cl-arrows
#:temperance
#:scully.quickutils)
(:export
))
(defpackage #:scully.grounders.fluxplayer
(:use
#:cl
#:losh
#:iterate
#:cl-arrows
#:smug
#:scully.quickutils)
(:export
#:ground-gdl-file
#:ground-gdl-string))
(defpackage #:scully.players.random
(:use
#:cl
#:losh
#:iterate
#:cl-arrows
#:scully.quickutils
#:scully.reasoners.prolog)
(:export
))
(defpackage #:scully.players.random-ii
(:use
#:cl
#:losh
#:iterate
#:cl-arrows
#:scully.quickutils
#:scully.reasoners.prolog)
(:export
))