package.lisp @ 80c4579fefce

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
    ))