part-III-packages.lisp

;;; -*- Mode: LISP; Syntax: COMMON-LISP; Package: CL-USER; Base: 10 -*-

;;;; Copyright (c) 2014, 2015 Zlatozar Zhelyazkov

;;;; part-III-packages.lisp: PART III "Tools and techniques"

(in-package :cl-user)

;;; ____________________________________________________________________________

(defpackage #:ch9
  (:documentation "Chapter 9. Efficiency Issues")
  (:use #:common-lisp
        #:inspect
        #:tutor)
  (:import-from :paip-aux
                #:length=1
                #:memo
                #:memoize)
  (:export #:kwote
           #:assert-equal
           ;; Pipes
           #:make-pipe
           #:empty-pipe
           #:head
           #:tail
           #:elt-pipe
           #:enumerate-pipe
           #:filter-pipe
           #:map-pipe
           #:append-pipes
           #:mapcan-pipe
           #:combine-all-pipes
           ;; see exercises
           #:pipe-null-p
           #:reduce-pipe
           #:pipe->list
           ;; Profiling
           #:with-profiling))

;;; ____________________________________________________________________________

(defpackage #:ch10
  (:documentation "Chapter 10. Low-Level Efficiency Issues")
  (:use #:common-lisp
        #:inspect
        #:tutor)
  (:import-from :paip-aux
                #:reuse-cons)
  (:export #:make-trie
           #:put-trie
           #:get-trie
           #:delete-trie
           #:find-trie
           #:follow-arc))

(defpackage #:ch10-exercises
  (:documentation "Selected exercises from Chapter 10")
  (:use #:common-lisp
        #:inspect
        #:tutor)
  (:import-from :paip-aux
                #:reuse-cons))

(defpackage #:ch11
  (:documentation "Chapter 11. Logic Programming (unification)")
  (:use #:common-lisp
        #:inspect
        #:tutor)
  (:import-from :paip-aux
                #:reuse-cons)
  (:import-from :pat-base
                #:fail
                #:no-bindings
                #:variable-p
                #:get-binding
                #:extend-bindings
                #:lookup)
  (:export #:unify
           #:unifier
           #:subst-bindings))

(defpackage #:ch11-first
  (:documentation "Chapter 11. Logic Programming (Prolog first version)")
  (:use #:common-lisp
        #:inspect
        #:tutor
        #:ch11)
  (:import-from :pat-base
                #:fail
                #:no-bindings
                #:variable-p)
  (:import-from :ch6
                #:pat-match)
  (:export #:?-))

(defpackage #:ch11-final
  (:documentation "Chapter 11. Logic Programming (Prolog final version)")
  (:use #:common-lisp
        #:inspect
        #:tutor
        #:ch11)
  (:import-from :paip-aux
                #:reuse-cons)
  (:import-from :pat-base
                #:fail
                #:no-bindings
                #:variable-p)
  (:export #:add-clause
           #:clear-db
           #:clear-predicate
           #:unique-find-anywhere-if
           #:?-))

(defpackage #:ch11-exercises
  (:documentation "Selected exercises from Chapter 11")
  (:use #:common-lisp
        #:inspect
        #:tutor)
  (:import-from :ch11-final
                #:add-clause)
  (:export #:fact
           #:rule))

(defpackage #:ch12-first
  (:documentation "Chapter 12. Compiling Logic Programs (first version)")
  (:use #:common-lisp
        #:inspect
        #:tutor)
  (:import-from :pat-base
                #:variable-p
                #:get-binding
                #:extend-bindings
                #:binding-val))

(defpackage #:ch12-second
  (:documentation "Chapter 12. Compiling Logic Programs (second version)")
  (:use #:common-lisp
        #:inspect
        #:tutor)
    (:import-from :pat-base
                #:variable-p
                #:get-binding
                #:extend-bindings
                #:binding-val))

(defpackage #:ch12-final
  (:documentation "Chapter 12. Compiling Logic Programs (final version)")
  (:use #:common-lisp
        #:inspect
        #:tutor)
  (:import-from :paip-aux
                #:reuse-cons
                #:new-symbol
                #:length=1
                #:reuse-cons
                #:find-all
                #:find-if-anywhere
                #:find-anywhere)
  (:shadowing-import-from :paip-aux
                          #:symbol)
  (:import-from :pat-base
                #:fail
                #:no-bindings
                #:variable-p
                #:get-binding
                #:extend-bindings
                #:binding-val)
  (:import-from :ch11
                #:unify
                #:subst-bindings)
  (:export #:prolog-compile
           #:compile-body
           #:def-prolog-compiler-macro
           #:maybe-add-undo-bindings
           #:run-prolog
           #:top-level-prove
           #:deref
           #:deref-equal
           #:deref-copy
           #:show-prolog-vars/2
           #:top-level-query/0

           ;; Prolog build in predicate
           #:read/1    #:read
           #:write/1   #:write
           #:nl/0      #:nl
           #:=/2       #:=
           #:==/2      #:==
           #:call/1    #:call
           #:not/1     #:not
           #:bagof/3   #:bagof
           #:setof/3   #:setof
           #:is=/2     #:is=
           #:var/1     #:var
           #:repeat/0  #:repeat
           #:numberp/1 #:numberp
           #:atom/1    #:atom
           #:lisp/2    #:lisp

           #:?-
           #:<-
           #:!
           #:if
           #:nil))

(defpackage #:ch12-exercises
  (:documentation "Selected exercises from Chapter 12")
  (:use #:common-lisp
        #:inspect
        #:tutor)
  (:import-from :pat-base
                #:fail)
  (:import-from :ch12-final
                #:compile-body
                #:def-prolog-compiler-macro
                #:deref
                #:maybe-add-undo-bindings)
  (:export #:prolog-trace

           #:and
           #:or

           #:true=/0    #:true=
           #:false=/0   #:false=
           #:>/2        #:>
           #:numberp=/1 #:numberp=))

(defpackage #:ch13
  (:documentation "Chapter 13. Object Oriented Programming")
  (:use #:common-lisp
        #:inspect
        #:tutor)
  (:import-from :paip-aux
                #:rest2
                #:dbg)
  (:import-from :ch6
                #:city
                #:neighbors))

(defpackage #:ch14-first
  (:documentation "Chapter 14. Knowledge Representation and Reasoning (first version)")
  (:use #:common-lisp
        #:inspect
        #:tutor)
  (:import-from :paip-aux
                #:reuse-cons
                #:new-symbol
                #:length=1
                #:reuse-cons
                #:find-all
                #:find-if-anywhere
                #:find-anywhere)
  (:shadowing-import-from :paip-aux
                          #:symbol)
  (:import-from :pat-base
                #:fail
                #:no-bindings
                #:variable-p
                #:get-binding
                #:extend-bindings
                #:binding-val
                #:lookup)
  (:import-from :ch11
                #:unify
                #:subst-bindings)
  (:export #:dtree-index
           #:get-dtree
           #:retrieve
           #:fetch
           #:index
           ;; From other packages
           #:fail
           #:rename-variables
           #:unify
           #:clause-head
           #:clause-body
           #:subst-bindings
           #:query-bind
           #:predicate
           #:args
           #:variable-p
           #:no-bindings))

(defpackage #:ch14-second
  (:documentation "Chapter 14. Knowledge Representation and Reasoning (second version)")
  (:use #:common-lisp
        #:inspect
        #:tutor
        #:ch14-first)
  (:export #:def-attached-fn
           #:retrieve-fact
           ;; From other packages
           #:fail
           #:fetch
           #:index
           #:predicate
           #:args
           #:variable-p
           #:retrieve
           #:no-bindings))

(defpackage #:ch14-final
  (:documentation "Chapter 14. Knowledge Representation and Reasoning (final version)")
  (:use #:common-lisp
        #:inspect
        #:tutor
        #:ch14-second))