anchor.diff:  ;;; File: pattern.lisp
   ;;; Description:
   
  -;;; $Id: pattern.lisp,v 1.27 2001/01/17 22:06:08 youngde Exp $
  +;;; $Id: pattern.lisp,v 1.28 2001/01/18 18:48:49 youngde Exp $
   
   (in-package :lisa)
   
  
positive.code: (defun is-localized-patternp (pattern)
    (declare (type (pattern pattern)))
    (get-locality pattern))
  
  (defmethod initialize-instance :after ((self pattern) &key (slot-list nil))
    (mapc #'(lambda (desc)
  
negative.code:              (let ((slot (first slots)))
                 (cond ((null slot)
                        (values t))
                       ((or (not (is-localp (get-value slot)))
                            (not (get-constraint-locality (get-constraint slot))))
                        (values nil))
                       (t
                        (get-slot-locality (rest slots)))))))
  