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

;;; Three containers example
;;;; File name: ex3.lsp
;;;;  modified: Thursday, February 14, 2008 at 11:28:03 by Ken Forbus

;;; Copyright (c) 1991-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)

(rassert! (phase liquid))
(rassert! (substance water))

(rassert! (container f))
(rassert! (container g))
(rassert! (container h))

(rassert! (fluid-path p1))
(rassert! (fluid-path p2))

(rassert! (aligned p1))
(rassert! (aligned p2))

(rassert! (fluid-connection p1 f g))
(rassert! (fluid-connection p1 g f))
(rassert! (fluid-connection p2 g h))
(rassert! (fluid-connection p2 h g))