;;; -*- Syntax: Common-lisp; Mode: Lisp; -*-

;;;; double-heat flow example
;;;; File name: ex4.lsp
;;;;  modified: Thursday, February 14, 2008 at 11:27:48 by Ken Forbus

;;; Copyright (c) 1993, Kenneth D. Forbus, Northwestern University,
;;; and Johan de Kleer, the Xerox Corporation.
;;; All rights reserved.

;;; See the file legal.txt for a paragraph stating scope of permission
;;; and disclaimer of warranty.  The above copyright notice and that
;;; paragraph must be included in any separate copy of this file.



(in-package :cl-user)

(assert! (physob rock))
(assert! (exists rock))

(assert! (temperature-source stove))

(assert! (temperature-source atm))

(assert! (heat-path burner))

(assert! (heat-path (surface rock)))

(assert! (heat-connection burner stove rock))
(assert! (heat-connection burner rock stove))

(assert! (heat-connection (surface rock) atm rock))
(assert! (heat-connection (surface rock) rock atm))

(assert! (less-than (a (temperature atm)) (a (temperature stove))))