From owner-cse663-fa06-list@LISTSERV.BUFFALO.EDU Fri Sep 15 11:07:19 2006 Received: from ares.cse.buffalo.edu (ares.cse.Buffalo.EDU [128.205.32.79]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k8FF7J99001782 for ; Fri, 15 Sep 2006 11:07:19 -0400 (EDT) Received: from front3.acsu.buffalo.edu (upfront.acsu.buffalo.edu [128.205.4.140]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id k8FF7GNV004833 for ; Fri, 15 Sep 2006 11:07:16 -0400 (EDT) Received: (qmail 25488 invoked from network); 15 Sep 2006 15:07:16 -0000 Received: from mailscan7.acsu.buffalo.edu (128.205.6.158) by front3.acsu.buffalo.edu with SMTP; 15 Sep 2006 15:07:16 -0000 Received: (qmail 13427 invoked from network); 15 Sep 2006 15:07:15 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front1.acsu.buffalo.edu with SMTP; 15 Sep 2006 15:07:15 -0000 Received: (qmail 6268 invoked from network); 15 Sep 2006 15:07:08 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 15 Sep 2006 15:07:08 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 520891 for CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU; Fri, 15 Sep 2006 11:07:08 -0400 Delivered-To: CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU Received: (qmail 2234 invoked from network); 15 Sep 2006 15:07:08 -0000 Received: from mailscan1.acsu.buffalo.edu (128.205.6.133) by listserv.buffalo.edu with SMTP; 15 Sep 2006 15:07:08 -0000 Received: (qmail 1737 invoked from network); 15 Sep 2006 15:07:07 -0000 Received: from bay0-omc2-s6.bay0.hotmail.com (65.54.246.142) by smtp2.acsu.buffalo.edu with SMTP; 15 Sep 2006 15:07:07 -0000 Received: from hotmail.com ([207.46.11.103]) by bay0-omc2-s6.bay0.hotmail.com with Microsoft SMTPSVC(6.0.3790.1830); Fri, 15 Sep 2006 08:07:06 -0700 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Fri, 15 Sep 2006 08:07:05 -0700 Received: from 207.46.11.123 by by123fd.bay123.hotmail.msn.com with HTTP; Fri, 15 Sep 2006 15:07:05 GMT X-Originating-IP: [128.205.35.2] X-Originating-Email: [asidekicka@hotmail.com] X-Sender: asidekicka@hotmail.com Mime-Version: 1.0 Content-Type: text/plain; format=flowed X-OriginalArrivalTime: 15 Sep 2006 15:07:05.0921 (UTC) FILETIME=[9B737B10:01C6D8D8] X-UB-Relay: (bay0-omc2-s6.bay0.hotmail.com) X-PM-Spam-Prob: : 7% Message-ID: Date: Fri, 15 Sep 2006 11:07:05 -0400 Reply-To: CSE 663 - Advanced Knowledge Representation - Fall 2006 Sender: CSE 663 - Advanced Knowledge Representation - Fall 2006 From: Scott Settembre Subject: Re: more on SNePS To: CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU In-Reply-To: <200609121737.k8CHbEHq029200@castor.cse.Buffalo.EDU> Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: X-UB-Relay: (bay0-omc2-s6.bay0.hotmail.com) X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1336; Body=0 Fuz1=0 Fuz2=0 X-Virus-Scanned: ClamAV 0.88.3/1885/Fri Sep 15 07:19:10 2006 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 4541 Sorry for the delay in responding. I decided to finish up the tutorial with 2.5 that seemed to work. Unfortunatley, the version at "/projects/shapiro/Sneps/sneps262" appears to have the same error message. I have included the session below in case I'm loading something up incorrectly. The workaround, using compose (From Prof. Shapiro's message), does work. ============================================================== Starting image `/util/acl/composer' with no arguments in directory `/home/csgrad/ss424/' on machine `localhost'. International Allegro CL Enterprise Edition 8.0 [Solaris] (Jun 30, 2006 12:35) Copyright (C) 1985-2005, Franz Inc., Oakland, CA, USA. All Rights Reserved. This development copy of Allegro CL is licensed to: [4549] University at Buffalo ;; Optimization settings: safety 1, space 1, speed 1, ;; debug 2. ;; For a complete description of all compiler switches ;; given the current optimization settings evaluate ;; (explain-compiler-settings). ;;--- ;; Current reader case mode: :case-sensitive-lower cl-user(1): ;;; Note: The hosting emacs appears to have neither the ;;; emacs-mule nor mule-ucs utf-8 encodings. ;;; Thus, Allegro CL international character ;;; support is limited in this emacs session. cl-user(2): :ld /projects/shapiro/Sneps/sneps262 ; Loading /projects/shapiro/Sneps/sneps262.cl ; Loading ; /projects/shapiro/Sneps/Sneps262/load-sneps.lisp ; Loading ; /projects/snwiz/Install/Sneps-2.6.1/load-logical-pathnames.lisp Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% SNePS-2.6 [PL:1a 2004/08/26 23:05:27] loaded. Type `(sneps)' or `(snepslog)' to get started. [2] cl-user(7): (sneps) Welcome to SNePS-2.6 [PL:1a 2004/08/26 23:05:27] Copyright (C) 1984--2004 by Research Foundation of State University of New York. SNePS comes with ABSOLUTELY NO WARRANTY! Type `(copyright)' for detailed copyright information. Type `(demo)' for a list of example applications. 9/15/2006 10:32:43 * (define member class object ability) (member class object ability) CPU time : 0.00 * (assert member Clyde class elephant) (m1!) CPU time : 0.00 * (assert member Dumbo class elephant) (m2!) CPU time : 0.00 * (assert object Dumbo ability fly) (m3!) CPU time : 0.00 * (assert object Tweety class canary) (m4!) CPU time : 0.00 * (assert object Tweety ability fly) (m5!) CPU time : 0.00 * (assert object Opus class bird) (m6!) CPU time : 0.00 * (find class elephant) (m1! m2!) CPU time : 0.00 * (describe (find class elephant)) (m1! (class elephant) (member Clyde)) (m2! (class elephant) (member Dumbo)) (m1! m2!) CPU time : 0.01 * (find (member- class) elephant) SNePS ERROR: Illegal relation or path: (member- class) Occurred in module find in function checkpath Do you want to debug it? n CPU time : 0.00 *(find (compose member- class) elephant) (m1! m2!) SNePS ERROR: Invalid top SNePSUL form: (m1 ! m2 !) Occurred in module top-evaluator in function topsneval Do you want to debug it? n CPU time : 0.00 * (find (compose member- class) elephant) (m1! m2!) CPU time : 0.00 * (find (compose member- class) elephant) (m1! m2!) CPU time : 0.00 * (find (member- class) elephant) SNePS ERROR: Illegal relation or path: (member- class) Occurred in module find in function checkpath Do you want to debug it? n CPU time : 0.00 * (find (compose member- class) elephant) (m1! m2!) CPU time : 0.00 * >From: "William J. Rapaport" >Reply-To: CSE 663 - Advanced Knowledge Representation - Fall 2006 > >To: CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU >Subject: more on SNePS >Date: Tue, 12 Sep 2006 13:37:14 -0400 > >| From mrzorn@cse.Buffalo.EDU Tue Sep 12 13:31:53 2006 >| Subject: CSE663 - Problem with sneps >| >| I seem to be getting an error when trying to run sneps. >| >| >From the command prompt I start lisp (mlisp) and load sneps with :ld >| /projects/snwiz/bin/sneps >| >| but when trying to run snepsul from there with the command (sneps) I >| receive the following error: >| >| Error: Attempt to call sneps::undefine.r which is defined as a macro. >| [condition type: undefined-function] >| >| Am I doing something wrong? I don't recall having to do more than that, >| albeit I have not used sneps in quite a while. >| >| Thanks, >| Mark Zorn > >Try using > > /projects/shapiro/Sneps/sneps262 > >instead; it's a more up-to-date (but still beta-test) version. > >Please let me know if it works.