;; -*- Mode: Lisp; -*- ;;;; Two containers scenario ;;;; File name: ex1.lsp ;;;; modified: Thursday, February 14, 2008 at 11:21:44 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) (rassert! (phase liquid)) (rassert! (substance water)) ;; declare indivduals and their types (rassert! (container f)) (rassert! (container g)) (rassert! (fluid-path p1)) ;; specify their connectivity (rassert! (fluid-connection p1 f g)) (rassert! (fluid-connection p1 g f))