From owner-cse663-fa06-list@LISTSERV.BUFFALO.EDU Tue Oct 31 13:53:17 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 k9VIrHFB018643 for ; Tue, 31 Oct 2006 13:53:17 -0500 (EST) Received: from front3.acsu.buffalo.edu (coldfront.acsu.buffalo.edu [128.205.6.89]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id k9VIr7GG000305 for ; Tue, 31 Oct 2006 13:53:07 -0500 (EST) Received: (qmail 26905 invoked from network); 31 Oct 2006 18:53:07 -0000 Received: from mailscan8.acsu.buffalo.edu (128.205.7.55) by front3.acsu.buffalo.edu with SMTP; 31 Oct 2006 18:53:07 -0000 Received: (qmail 22288 invoked from network); 31 Oct 2006 18:53:07 -0000 Received: from defer.acsu.buffalo.edu (128.205.7.58) by front2.acsu.buffalo.edu with SMTP; 31 Oct 2006 18:53:07 -0000 Received: (qmail 22131 invoked from network); 31 Oct 2006 18:52:46 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by defer.acsu.buffalo.edu with SMTP; 31 Oct 2006 18:52:46 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 1556420 for CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU; Tue, 31 Oct 2006 13:52:46 -0500 Delivered-To: cse663-fa06-list@listserv.buffalo.edu Received: (qmail 5131 invoked from network); 31 Oct 2006 18:52:44 -0000 Received: from mailscan7.acsu.buffalo.edu (128.205.6.158) by listserv.buffalo.edu with SMTP; 31 Oct 2006 18:52:44 -0000 Received: (qmail 3348 invoked from network); 31 Oct 2006 18:52:43 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp4.acsu.buffalo.edu with SMTP; 31 Oct 2006 18:52:43 -0000 Received: from castor.cse.Buffalo.EDU (rapaport@localhost [127.0.0.1]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k9VIqhMb018617 for ; Tue, 31 Oct 2006 13:52:43 -0500 (EST) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id k9VIqhXd018616 for cse663-fa06-list@listserv.buffalo.edu; Tue, 31 Oct 2006 13:52:43 -0500 (EST) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200610311852.k9VIqhXd018616@castor.cse.Buffalo.EDU> Date: Tue, 31 Oct 2006 13:52:43 -0500 Reply-To: CSE 663 - Advanced Knowledge Representation - Fall 2006 Sender: CSE 663 - Advanced Knowledge Representation - Fall 2006 From: "William J. Rapaport" Subject: loading the noun/verb algorithm files To: CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: X-UB-Relay: (castor.cse.buffalo.edu) X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1335; Body=0 Fuz1=0 Fuz2=0 X-Spam-Status: No, score=-2.6 required=5.0 tests=AWL,BAYES_00 autolearn=ham version=3.1.3 X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on ares.cse.buffalo.edu X-Virus-Scanned: ClamAV 0.88.3/2133/Tue Oct 31 05:42:29 2006 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 7191 | Date: Tue, 31 Oct 2006 12:58:58 -0500 | From: "Stuart C. Shapiro" | To: "William J. Rapaport" | CC: snwiz@cse.Buffalo.EDU, ss424@cse.Buffalo.EDU | Subject: Re: error loading a lisp file into SNePSLOG | | The line | | ^(load "/projects/rapaport/CVA/STN2/defun_noun.cl") | | should be | | ^(cl:load "/projects/rapaport/CVA/STN2/defun_noun.cl") | | The way it is, it's trying to interpret defun_noun.cl as a file of | SNePSLOG commands. | | BTW, you should not include the extension ".cl" in the load. If you | don't, and if you've compiled that file, Lisp will load the compiled | version (a lot faster). | | Also, instead of | | ^(setq snip:*infertrace* nil) | | you can now use the SNePSLOG command | | untrace inference | | | | | | William J. Rapaport wrote: | | >One of my students is getting an error within SNePSLOG, trying | >to load a lisp file. Can you help? | > | >| From ss424@cse.Buffalo.EDU Tue Oct 31 09:42:32 2006 | >| Date: Tue, 31 Oct 2006 09:42:31 -0500 (EST) | >| From: Scott Settembre | >| To: rapaport@cse.Buffalo.EDU | >| Subject: snepslog error in 2.6.2 | >| | >| I will list the snepslog error I am getting below, then include the entire | >| session. | >| | >| ; Appropriate definition algorithm | >| ^(load "/projects/rapaport/CVA/STN2/defun_noun.cl") | >| Error: Wff (in-package missing close parenthesis at: ":snepsul) | >| " | >| | >| and here is the entire session. | >| | >| ============================================================== | >| 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. | >| cl-user(3): (snepslog) | >| | >| | >| Welcome to SNePSLOG (A logic interface to SNePS) | >| | >| 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. | >| | >| : demo "proj2" | >| | >| File /home/csgrad/ss424/proj2 is now the source of input. | >| | >| | >| CPU time : 0.03 | >| | >| : ; | >| ======================================================================= | >| ; FILENAME: hummock.demo | >| ; DATE: 10/18/2006 | >| ; PROGRAMMER: Scott Settembre | >| | >| ;; this template version: snepsul-template.demo-20061005.txt | >| | >| ; Lines beginning with a semi-colon are comments. | >| ; Lines beginning with "^" are Lisp commands. | >| ; All other lines are SNePSUL commands. | >| ; | >| ; To use this file: run SNePS; at the SNePS prompt (*), type: | >| ; | >| ; demo "hummock.demo" | >| ; | >| ; Make sure all necessary files are in the current working directory | >| ; or else use full path names. | >| ; ======================================================================= | >| | >| ; Clear the knowledge base | >| clearkb | >| Knowledge Base Cleared | >| | >| | >| CPU time : 0.00 | >| | >| : set-mode-3 | >| | >| Net reset | >| In SNePSLOG Mode 3. | >| Use define-frame . | >| | >| achieve(x1) will be represented by {, } | >| ActPlan(x1, x2) will be represented by {, } | >| believe(x1) will be represented by {, } | >| disbelieve(x1) will be represented by {, | x1>} | >| adopt(x1) will be represented by {, } | >| unadopt(x1) will be represented by {, } | >| do-all(x1) will be represented by {, } | >| do-one(x1) will be represented by {, } | >| Effect(x1, x2) will be represented by {, } | >| else(x1) will be represented by {} | >| GoalPlan(x1, x2) will be represented by {, } | >| if(x1, x2) will be represented by {, } | >| ifdo(x1, x2) will be represented by {, } | >| Precondition(x1, x2) will be represented by {, | x2>} | >| snif(x1) will be represented by {, } | >| sniterate(x1) will be represented by {, } | >| snsequence(x1, x2) will be represented by {, | x1>, } | >| whendo(x1, x2) will be represented by {, } | >| wheneverdo(x1, x2) will be represented by {, } | >| withall(x1, x2, x3, x4) will be represented by {, | x1>, , , } | >| withsome(x1, x2, x3, x4) will be represented by {, | >| , , , } | >| | >| | >| CPU time : 0.00 | >| | >| : | >| ; Turn off inference tracing. | >| ; This is optional; if tracing is desired, then delete this. | >| ^(setq snip:*infertrace* nil) | >| nil | >| | >| | >| CPU time : 0.00 | >| | >| : | >| ; Appropriate definition algorithm | >| ^(load "/projects/rapaport/CVA/STN2/defun_noun.cl") | >| Error: Wff (in-package missing close parenthesis at: ":snepsul) | >| " | >| | >| Restart actions (select using :continue): | >| 0: Continue with SNePSLOG | >| 1: Return to Top Level (an "abort" restart). | >| 2: Abort entirely from this (lisp) process. | >| | >| [changing package from "common-lisp-user" to "snepslog"] | >| [1c] snepslog(4): | >| | > | > | | -- | Stuart C. Shapiro | Professor, Department of Computer Science and Engineering | Director, Center for Cognitive Science | University at Buffalo, The State University of New York | 201 Bell Hall | Box 602000 PHONE: 716-645-3180x125 | Buffalo, NY 14260-2000 FAX: 716-645-3464 | U.S.A. EMAIL: shapiro@cse.buffalo.edu | URL: http://www.cse.buffalo.edu/~shapiro/ |