[clisp-list] loading and compiling the Knowledge Machine

[Joe C. <jco...@ma...>]

I get two problems with Porter and Clark's Knowledge Machine under
CLISP -- problems that, as far as I know, are not experienced by
users of other Common Lisps.


First error: "DEFUN/DEFMACRO(show-stack): #<package ext> is locked".


[1]> (load "~/site-lisp/km/km.lisp")
;; Loading file /Users/arided/site-lisp/km/km.lisp ...
** - Continuable Error
DEFUN/DEFMACRO(show-stack): #<package ext> is locked
If you continue (by typing 'continue'): Ignore the lock and proceed
1. Break [2]> continue
Resetting KM...
      ====================================================
      KM - THE KNOWLEDGE MACHINE - INFERENCE ENGINE v2.0.1
      ====================================================
Copyright (C) 2004 Peter Clark and Bruce Porter. KM comes with ABSOLUTELY
NO WARRANTY. This is free software, and you are welcome to redistribute it
under certain conditions. Type (license) for details.

Documentation at http://www.cs.utexas.edu/users/mfkb/km/
Type (km) for the KM interpreter prompt!
;; Loading of file /Users/arided/site-lisp/km/km.lisp is finished.
t


Second error: "*** - Non-existent directive"


[3]> (compile-file "~/site-lisp/km/km.lisp")

Compiling file /Users/arided/site-lisp/km/km.lisp ...
WARNING in function immediate-classes in lines 5951..6007 :
variable enforce-constraints is used despite of IGNORE declaration.
WARNING in function test-val-constraint in lines 9978..10031 :
Duplicate case label quote :
(case mode ('consistent (km0 `(,val &? (|a| ,@(rest constraint)))))
 ('satisfies (km0 `(,val |is| '(|a| ,@(rest constraint))))))
WARNING in function test-val-constraint in lines 9978..10031 :
Duplicate case label quote :
(case mode
 ('consistent
  (some #'(lambda (possible-value) (km0 `(,val &? ,possible-value)))
   possible-values))
 ('satisfies (member val possible-values :test #'equal)))
WARNING in function test-set-constraint in lines 10033..10060 :
Duplicate case label quote : (case mode ('consistent t) ('satisfies (>= nvals n)))
WARNING in function test-set-constraint in lines 10033..10060 :
Duplicate case label quote : (case mode ('consistent (<= nvals n)) ('satisfies (= nvals n)))
*** - Non-existent directive
Current point in control string:
  ~a~60vT~a
       |
1. Break [4]> :a



These might be related to the version of CLISP that I'm using
(Fink's clisp-2.29-13).  One or both of the errors may be easy to
fix, but I have no idea what to do about them.

Advice would be much appreciated.  The KM code is available under
the GPL from http://www.cs.utexas.edu/users/mfkb/RKF/km.html