;;;; -*- mode:Lisp; syntax:Common-Lisp; package:user -*- ;;;;
;;;; Copyright 1992 Patrick H. Winston.  All rights reserved.
;;;; Version 1.1, transferred from master disk on 21 Jan 93
;;;;
;;;; This file may reference other files containing copyrighted software.
;;;; Any restrictions on the use of such software are described in the
;;;; files containing that software.  This file may be freely copied as
;;;; long as this notice is kept intact.

;;;; Purpose: program support for Chapter 7, Rules and Rule Chaining

;;;; REMARKS

#|

STREAMS1, STREAMS2, FORWARD, and BACKWARD files use similar names.
Be sure correct files are loaded before running CHAIN.

|#

;;;; LOAD ZOOKEEPER SYSTEM, BACKWARD-CHAINING VERSION
(load "match.lsp")
(load "streams1.lsp")
(load "backward.lsp")
(load "zoo.lsp")

(make-zoo-rules)

(progn (make-swifty)
       (hypothesize '(Swifty is a cheetah))
       (values))

(progn (make-splashy)
       (or (hypothesize '(splashy is a ostrich))
	   (hypothesize '(splashy is a penguin))
	   (hypothesize '(splashy is a albatross)))
       (values))

(progn (make-sandy)
       (or (hypothesize '(sandy is a ostrich))
	   (hypothesize '(sandy is a penguin))
	   (hypothesize '(sandy is a albatross)))
       (values))