[Message with no subject]
Luc YRIARTE <yriarte@lirmm.fr>
Message-id: <199502031629.RAA17409@lirmm.lirmm.fr>
X-Mailer: exmh version 1.5.3 12/28/94
To: ontolingua@HPP.Stanford.EDU
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Fri, 03 Feb 1995 17:30:07 +0100
From: Luc YRIARTE <yriarte@lirmm.fr>
Hello,
It seems that Ontolingua doesn't want to run on our common lisp version,
wich is quite old. Last time it was for printing, and your patches worked all
right, now it's for clos instance making. I couldn't figure out what was wrong.
Is there any way we can make ontolingua run on top of that lisp, or on any
public
domain lisp, or do we definitely have to buy one ?
-------------------------------------------------------------------------------
--
84 yriarte@salagou:Ontolingua % clisp
;;; Sun Common Lisp, Development Environment 4.0.1, 6 July 1990
;;; Sun-4 Version for SunOS 4.0.x and sunOS 4.1
;;;
;;; Copyright (c) 1985, 1986, 1987, 1988, 1989, 1990
;;; by Sun Microsystems, Inc., All Rights Reserved
;;; Copyright (c) 1985, 1986, 1987, 1988, 1989, 1990
;;; by Lucid, Inc., All Rights Reserved
;;; This software product contains confidential and trade secret
;;; information belonging to Sun Microsystems, Inc. It may not be copied
;;; for any reason other than for archival and backup purposes.
;;;
;;; Sun, Sun-4, and Sun Common Lisp are trademarks of Sun Microsystems Inc.
> (load "defsystem")
;;; Loading source file "defsystem.lisp"
#P"/h-arc2/yriarte/plate-forme/ontologie/Ontolingua/defsystem.lisp"
> (compile-load-ontolingua)
...
;;; Reading source file "gfp/lisp/iterator-definitions.lisp"
;;; Writing binary file "gfp/lisp/iterator-definitions.sbin"
;;; Loading binary file "gfp/lisp/iterator-definitions.sbin"
>>Error: (:QUALIFIERS NIL :LAMBDA-LIST (KB) :SPECIALIZERS (#<Standard-Class KB>
) :FUNCTION #<Compiled-Function (:INTERNAL NIL 0) 16FA4CE>) is not a valid
initialization argument list in this call to MAKE-INSTANCE
(METHOD MAKE-INSTANCE (CLOS::SLOTTED-CLASS)):
Required arg 0 (CLASS): #<Standard-Class STANDARD-METHOD>
Rest arg 1 (INITARGS): (:QUALIFIERS NIL :LAMBDA-LIST (KB) :SPECIALIZERS
(#<Standard-Class KB>) :FUNCTION #<Compiled-Function (:INTERNAL NIL 0) 16FA4CE>
)
:C 0: Try loading #P"/h-arc2/yriarte/plate-forme/ontologie/Ontolingua/gfp/lisp
/iterator-definitions" again
:A 1: Abort to Lisp Top Level
->
-------------------------------------------------------------------------------
------
we tried to trace the faulty functions, and got this :
-------------------------------------------------------------------------------
------
> (step (def-gfp-iteration-macro do-kb-frames (frame-var &key (kb '(current-kb)))
"Loop over all of the frames in the KB, binding frame-var to the
successive frames."
(body)
(mapc-kb-frames-internal #'(lambda (frame-var) body) kb)))
(DEF-GFP-ITERATION-MACRO DO-KB-FRAMES (FRAME-VAR &KEY (KB #)) "Loop over all
of the frames in the KB, binding frame-var to the
successive frames." (BODY) (MAPC-KB-FRAMES-INTERNAL (FUNCTION #) KB)) --> :n
(DEFGENERIC .DO-KB-FRAMES-SELECTOR. (KB) (:METHOD (#) 0)) --> :n
(LUCID-RUNTIME-SUPPORT:DEFINE-GENERIC-FUNCTION (QUOTE
.DO-KB-FRAMES-SELECTOR.) (QUOTE (KB))) -> :n
(FUNCTION LUCID-RUNTIME-SUPPORT:DEFINE-GENERIC-FUNCTION) -> :n
#<Compiled-Function LUCID-RUNTIME-SUPPORT:DEFINE-GENERIC-FUNCTION
52E14E>
(QUOTE .DO-KB-FRAMES-SELECTOR.) = .DO-KB-FRAMES-SELECTOR.
(QUOTE (KB)) = (KB)
CLOS::*THE-CLASS-STANDARD-METHOD* = #<Standard-Class STANDARD-METHOD>
:DEFAULT = :DEFAULT
(QUOTE CLOS:STANDARD) = CLOS:STANDARD
#<Standard-Generic-Function .DO-KB-FRAMES-SELECTOR. (0)>
(SETF (GETF (LUCID-RUNTIME-SUPPORT:%METHOD-PLIST #) (QUOTE DEFGENERIC))
T) --> :n
(QUOTE DEFGENERIC) = DEFGENERIC
((LAMBDA (#:G1091) (# T)) (DEFMETHOD .DO-KB-FRAMES-SELECTOR. (#) 0)) ->
:n
(DEFMETHOD .DO-KB-FRAMES-SELECTOR. ((KB T)) 0) --> :n
(FUNCTION LUCID-RUNTIME-SUPPORT:DEFINE-METHOD) -> :n
#<Compiled-Function LUCID-RUNTIME-SUPPORT:DEFINE-METHOD 52EE86>
(QUOTE (.DO-KB-FRAMES-SELECTOR. (T))) = (.DO-KB-FRAMES-SELECTOR.
(T))
(QUOTE (KB)) = (KB)
(FUNCTION (LAMBDA (KB) (DECLARE #) (BLOCK .DO-KB-FRAMES-SELECTOR.
0))) -> :n
#<Interpreted-Function (LAMBDA (KB) (DECLARE (IGNORE KB)) (BLOCK
.DO-KB-FRAMES-SELECTOR. 0)) 16F13E6>
(QUOTE STANDARD-METHOD) = STANDARD-METHOD
(QUOTE .DO-KB-FRAMES-SELECTOR.) = .DO-KB-FRAMES-SELECTOR.
(QUOTE NIL) = NIL
(LIST (QUOTE T)) -> :n
(FUNCTION LIST) -> :n
#<Compiled-Function LIST 2EB42E>
(QUOTE T) = T
(T)
(QUOTE NIL) = NIL
#<Standard-Method .DO-KB-FRAMES-SELECTOR. (T)>
((LAMBDA (#:G1093) (LET # # #:G1093)) T) -> :n
T = T
(LET ((#:G1090 #)) (SETF::21.LUCID-RUNTIME-SUPPORT.%METHOD-PLIST
#:G1090 #:G1091) #:G1093) --> :n
(LUCID::SET-GETF-PRIMITIVE (LUCID-RUNTIME-SUPPORT:%METHOD-PLIST
#:G1091) #:G1092 #:G1093) -> :n
(FUNCTION LUCID::SET-GETF-PRIMITIVE) -> :n
#<Compiled-Function LUCID::SET-GETF-PRIMITIVE 3025CE>
(LUCID-RUNTIME-SUPPORT:%METHOD-PLIST #:G1091) -> :n
(FUNCTION LUCID-RUNTIME-SUPPORT:%METHOD-PLIST) -> :n
#<Compiled-Function LUCID-RUNTIME-SUPPORT:%METHOD-PLIST
586D8E>
#:G1091 = #<Standard-Method .DO-KB-FRAMES-SELECTOR. (T)>
NIL
#:G1092 = DEFGENERIC
#:G1093 = T
(DEFGENERIC T)
(PROGN (SETF::21.LUCID-RUNTIME-SUPPORT.%METHOD-PLIST #:G1090
#:G1091) #:G1093) -> :n
(SETF::21.LUCID-RUNTIME-SUPPORT.%METHOD-PLIST #:G1090 #:G1091)
-> :n
(FUNCTION SETF::21.LUCID-RUNTIME-SUPPORT.%METHOD-PLIST) ->
:n
#<Compiled-Function (:INTERNAL NIL 0) 586DDE>
#:G1090 = (DEFGENERIC T)
#:G1091 = #<Standard-Method .DO-KB-FRAMES-SELECTOR. (T)>
(DEFGENERIC T)
#:G1093 = T
T
T
T
T
T
(LUCID-RUNTIME-SUPPORT:FUNCTION-FROM-NAME (QUOTE
.DO-KB-FRAMES-SELECTOR.)) -> :n
(FUNCTION LUCID-RUNTIME-SUPPORT:FUNCTION-FROM-NAME) -> :n
#<Compiled-Function LUCID-RUNTIME-SUPPORT:FUNCTION-FROM-NAME 52AFF6>
(QUOTE .DO-KB-FRAMES-SELECTOR.) = .DO-KB-FRAMES-SELECTOR.
#<Standard-Generic-Function .DO-KB-FRAMES-SELECTOR. (1)>
#<Standard-Generic-Function .DO-KB-FRAMES-SELECTOR. (1)>
(DEFMACRO DO-KB-FRAMES ((FRAME-VAR &KEY #) &BODY BODY-FORMS) "Loop over
all of the frames in the KB, binding frame-var to the
successive frames." (LET (# #) (ASSERT EXPANDERS NIL "No loop expanders
defined for ~S" #) (ASSERT # NIL "Wrong number of args for macro relative to
expander for ~S. ~
~S supplied, ~S expected" # ARGS-SUPPLIED #)
(DEF-GFP-ITERATION-MACRO-INTERNAL # # FRAME-VAR EXPANDERS BODY-FORMS))) --> :n
(QUOTE COMPILE) = COMPILE
(LUCID-RUNTIME-SUPPORT:INFORM-PRETTY-PRINTER-OF-THE-POSSIBLE-BODIES-IN-DE
FMACRO (QUOTE DO-KB-FRAMES) (FUNCTION (LAMBDA # #))) -> :n
(FUNCTION LUCID-RUNTIME-SUPPORT:INFORM-PRETTY-PRINTER-OF-THE-POSSIBLE-B
ODIES-IN-DEFMACRO) -> :n
#<Compiled-Function LUCID-RUNTIME-SUPPORT:INFORM-PRETTY-PRINTER-OF-THE-
POSSIBLE-BODIES-IN-DEFMACRO 30A676>
(QUOTE DO-KB-FRAMES) = DO-KB-FRAMES
(FUNCTION (LAMBDA (#:FORM) (LET* # # BODY-FORMS))) -> :n
#<Interpreted-Function (LAMBDA (#:FORM) (LET* (# # # # # #) (DECLARE
#) BODY-FORMS)) 16F2AE6>
(#<Interpreted-Function (LAMBDA (#:FORM) (LET* # # BODY-FORMS)) 16F2AE6>)
(MACRO DO-KB-FRAMES (#:FORM #:ENVIRONMENT) "Loop over all of the frames
in the KB, binding frame-var to the
successive frames." (DECLARE (ARGLIST #)) (LET* (# # # # # #)
(LUCID::KEYWORD-TEST #:G1096 #) (LET # # # #))) --> :n
(FUNCTION DEFINE-MACRO) -> :n
#<Compiled-Function DEFINE-MACRO 30301E>
(QUOTE DO-KB-FRAMES) = DO-KB-FRAMES
(FUNCTION (NAMED-LAMBDA DO-KB-FRAMES (#:FORM #:ENVIRONMENT) (DECLARE
#) (BLOCK DO-KB-FRAMES #))) -> :n
#<Interpreted-Function (NAMED-LAMBDA DO-KB-FRAMES (#:FORM
#:ENVIRONMENT) (DECLARE (ARGLIST #)) (BLOCK DO-KB-FRAMES (LET* # # #)))
16F2CD6>
"Loop over all of the frames in the KB, binding frame-var to the
successive frames." = "Loop over all of the frames in the KB, binding
frame-var to the
successive frames."
DO-KB-FRAMES
DO-KB-FRAMES
(DEFLOOP-EXPANDER DO-KB-FRAMES (FRAME-VAR (KB KB)) (BODY)
(MAPC-KB-FRAMES-INTERNAL (FUNCTION #) KB)) --> :n
(REGISTER-LOOP-EXPANDER (QUOTE DO-KB-FRAMES) (QUOTE
.DO-KB-FRAMES-SELECTOR.) (QUOTE FRAME-VAR) (QUOTE (#)) (QUOTE BODY) (QUOTE
(#))) -> :n
(FUNCTION REGISTER-LOOP-EXPANDER) -> :n
#<Compiled-Function REGISTER-LOOP-EXPANDER EC709E>
(QUOTE DO-KB-FRAMES) = DO-KB-FRAMES
(QUOTE .DO-KB-FRAMES-SELECTOR.) = .DO-KB-FRAMES-SELECTOR.
(QUOTE FRAME-VAR) = FRAME-VAR
(QUOTE ((KB KB))) = ((KB KB))
(QUOTE BODY) = BODY
(QUOTE ((MAPC-KB-FRAMES-INTERNAL # KB))) = ((MAPC-KB-FRAMES-INTERNAL
(FUNCTION (LAMBDA (FRAME-VAR) BODY)) KB))
;;; You are using the compiler in development mode (compilation-speed = 3)
;;; If you want faster code at the expense of longer compile time,
;;; you should use the production mode of the compiler, which can be obtained
;;; by evaluating (proclaim '(optimize (compilation-speed 0)))
;;; Generation of full safety checking code is enabled (safety = 3)
;;; Optimization of tail calls is disabled (speed = 2)
>>Error: (:QUALIFIERS NIL :LAMBDA-LIST (KB) :SPECIALIZERS (#<Standard-Class KB>
) :FUNCTION #<Compiled-Function (:INTERNAL NIL 0) 16F3846>) is not a valid
initialization argument list in this call to MAKE-INSTANCE
(METHOD MAKE-INSTANCE (CLOS::SLOTTED-CLASS)):
Required arg 0 (CLASS): #<Standard-Class STANDARD-METHOD>
Rest arg 1 (INITARGS): (:QUALIFIERS NIL :LAMBDA-LIST (KB) :SPECIALIZERS
(#<Standard-Class KB>) :FUNCTION #<Compiled-Function (:INTERNAL NIL 0) 16F3846>
)
:A 0: Abort to Lisp Top Level
->
+------------------------------+------------------------------+
| Luc YRIARTE | |
| | |
| Espace Technique ARC 3.152 | |
| L.I.R.M.M. | email : yriarte@lirmm.fr |
| 161, rue ADA | tel : (33) 67 41 85 83 |
| 34392 Montpellier cedex 5 | fax : (33) 67 41 85 00 |
| France | http://www.lirmm.fr/~yriarte |
+------------------------------+------------------------------+