Welcome to Allegro CL\PC 
Version: 1.0
Copyright (C) 1992, Franz Inc., Berkeley, CA, USA.
All rights reserved.

> 
;;; ERROR: Package ATP does not exist. 
> (te::load-file (setq pp
     (open-stream 'text-edit-window *lisp-main-window* :io))
     "atp-d2.asc")
T
> (setq pp 
         (te::load-file
     (open-stream 'text-edit-window *lisp-main-window* :io)
     "atp-d2.asc"))
T
> pp
T
> 
  
> (te::load-file (setq pp
     (open-stream 'text-edit-window *lisp-main-window* :io))
     "atp-d2.asc")
T
> pp
#<TEXT-EDIT-WINDOW atp-d2.asc #x388FE8>
> (describe pp)

#<TEXT-EDIT-WINDOW atp-d2.asc #x388FE8> is a TEXT-EDIT-WINDOW:
Title:                    "atp-d2.asc"
Element Type:  CHARACTER
Direction:           :IO
Device:               TEXT-EDIT-WINDOW
Location:           #<LISP-MAIN-WINDOW Allegro CL\PC #x371F3C>
Origin:                 #.(MAKE-POSITION 0 0)
Left Margin:      0
Right Margin:   256
Top Margin:      0
Bottom Margin:   38
Page Height:    38
Page Width:      256
Font:                    #.(MAKE-FONT :SWISS :SYSTEM 20 '(:BOLD))
Window State: :NORMAL
Interior Box:     #.(MAKE-BOX 395 164 875 424)
Exterior Box:    #.(MAKE-BOX 391 133 879 428)
Visible Box:       #.(MAKE-BOX 0 0 480 260)
> pp
#<TEXT-EDIT-WINDOW atp-d2.asc #x388FE8>
> (describe pp)

#<TEXT-EDIT-WINDOW atp-d2.asc #x388FE8> is a TEXT-EDIT-WINDOW:
Title:                    "atp-d2.asc"
Element Type:  CHARACTER
Direction:           :IO
Device:               TEXT-EDIT-WINDOW
Location:           #<LISP-MAIN-WINDOW Allegro CL\PC #x371F3C>
Origin:                 #.(MAKE-POSITION 0 0)
Left Margin:      0
Right Margin:   256
Top Margin:      0
Bottom Margin:   38
Page Height:    38
Page Width:      256
Font:                    #.(MAKE-FONT :SWISS :SYSTEM 20 '(:BOLD))
Window State: :NORMAL
Interior Box:     #.(MAKE-BOX 544 187 1024 447)
Exterior Box:    #.(MAKE-BOX 540 156 1028 451)
Visible Box:       #.(MAKE-BOX 0 0 480 260)
> (file pp)
;;; ERROR: Call to undefined function FILE in #<function 0 
;;; #x38EEC8> 
> (te::file pp)
#P"atp-d2.asc"
> (describe (te::file pp))

#P"atp-d2.asc" is a PATHNAME:
Namestring:      "atp-d2.asc"
Host:                   #<WINDOWS-HOST "LOCAL">
Device:               NIL
Directory:          NIL
Name:                 "atp-d2"
Type:                   "asc"
Version:             :NEWEST
> (te::edit-file (setq pp
     (open-stream 'text-edit-window *lisp-main-window* :io)))
     "atp-d2.asc")
;;; ERROR: File atp-d2.asc does not exist 
> (te::edit-file 
     (open-stream 'text-edit-window *lisp-main-window* :io))
#<LISP-EDITOR-WINDOW atp-d2.asc #x393A08>
> (te::edit-file 
     (open-stream 'text-edit-window *lisp-main-window* :io))
#<LISP-EDITOR-WINDOW atp-d1.asc #x393A08>
> (te::edit-file nil)
#<LISP-EDITOR-WINDOW atp-d1.asc #x393A08>
> 
;;; ERROR: Package ATP does not exist. 
> 
;;; Loading from #P"C:\\PAIL\\pl-load.lsp" 
;;; Loading from #P"C:\\PAIL\\toplevel\\fasl\\pl-lib.fsl" 
;;; Load Successful: 25 forms read from 
;;; #P"C:\\PAIL\\toplevel\\fasl\\pl-lib.fsl". Result of last form 
;;; read was SELECT-ITEM-FROM-LIST. 
;;; Loading from #P"C:\\PAIL\\demo\\fasl\\pl-demo.fsl" 
;;; Load Successful: 18 forms read from 
;;; #P"C:\\PAIL\\demo\\fasl\\pl-demo.fsl". Result of last form 
;;; read was DEMO-LOOP. 
;;; Loading from #P"C:\\PAIL\\toplevel\\fasl\\pl-dispt.fsl" 
;;; Load Successful: 29 forms read from 
;;; #P"C:\\PAIL\\toplevel\\fasl\\pl-dispt.fsl". Result of last 
;;; form read was *CSP-MODULE-LOADED*. 
;;; Loading from #P"C:\\PAIL\\toplevel\\fasl\\pl-init.fsl" 
;;; Load Successful: 33 forms read from 
;;; #P"C:\\PAIL\\toplevel\\fasl\\pl-init.fsl". Result of last form 
;;; read was MAKE-AVAILABLE. 
;;; Loading from #P"C:\\PAIL\\toplevel\\fasl\\pl-lib.fsl" 
;;; Load Successful: 25 forms read from 
;;; #P"C:\\PAIL\\toplevel\\fasl\\pl-lib.fsl". Result of last form 
;;; read was SELECT-ITEM-FROM-LIST. 
;;; Load Successful: 27 forms read from 
;;; #P"C:\\PAIL\\pl-load.lsp". Result of last form read was 
;;; #<MESSAGE About PAIL #x3C5C0C>. 
T
> 
;;; Loading from #P"C:\\PAIL\\atp\\atp-load.lsp" 
;;; Loading from #P"C:\\PAIL\\pail-lib\\fasl\\trees.fsl" 
;;; Load Successful: 17 forms read from 
;;; #P"C:\\PAIL\\pail-lib\\fasl\\trees.fsl". Result of last form 
;;; read was #<STANDARD-METHOD LABEL (TREE) 
;;; #x3B40F8>. 
;;; Loading from #P"C:\\PAIL\\pail-lib\\fasl\\browser.fsl" 
;;; Load Successful: 44 forms read from 
;;; #P"C:\\PAIL\\pail-lib\\fasl\\browser.fsl". Result of last form 
;;; read was #<STANDARD-METHOD 
;;; WINDOW-UPDATE-CURSOR (BROWSER T) #x3BDF30>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\atp-clas.fsl" 
;;; Load Successful: 10 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\atp-clas.fsl". Result of last form 
;;; read was FORMAT-DISPLAY. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\params.fsl" 
;;; Load Successful: 29 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\params.fsl". Result of last form 
;;; read was -SYM-TABLE. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\prolog.fsl" 
;;; Load Successful: 7 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\prolog.fsl". Result of last form read 
;;; was PROLOG-PROMPT. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\prol-int.fsl" 
;;; Load Successful: 6 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\prol-int.fsl". Result of last form 
;;; read was PROLOG-INTERPRETER. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\len-adt.fsl" 
;;; Load Successful: 16 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\len-adt.fsl". Result of last form 
;;; read was #<STANDARD-CLASS STRATEGY #x3BAA04>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\preproc.fsl" 
;;; Load Successful: 71 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\preproc.fsl". Result of last form 
;;; read was INIT-PROLOG-SETS. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\folpars.fsl" 
;;; Load Successful: 20 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\folpars.fsl". Result of last form 
;;; read was IS-NOTSYM. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\folscan.fsl" 
;;; Load Successful: 35 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\folscan.fsl". Result of last form 
;;; read was IS-A-NUMBER. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\prolpars.fsl" 
;;; Load Successful: 10 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\prolpars.fsl". Result of last form 
;;; read was IS-CLIST. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\norm.fsl" 
;;; Load Successful: 15 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\norm.fsl". Result of last form read 
;;; was #<STANDARD-METHOD PROLOG-SEM-RED 
;;; (CLAUSE-CLASS) #x3DDFD0>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\renvar.fsl" 
;;; Load Successful: 16 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\renvar.fsl". Result of last form 
;;; read was INIT-OUT-VAR. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\class.fsl" 
;;; Load Successful: 9 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\class.fsl". Result of last form read 
;;; was #<STANDARD-METHOD SET-CLASS 
;;; (CLAUSE-CLASS) #x3EB664>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\output.fsl" 
;;; Load Successful: 32 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\output.fsl". Result of last form read 
;;; was REMOVE-DOUBLE1. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\update-n.fsl" 
;;; Load Successful: 13 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\update-n.fsl". Result of last form 
;;; read was COMBINE-ANC. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\skolem.fsl" 
;;; Load Successful: 33 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\skolem.fsl". Result of last form 
;;; read was OUT-A-CLAUSE. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\semp.fsl" 
;;; Load Successful: 33 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\semp.fsl". Result of last form read 
;;; was EXTENDED-D-RED1. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\infer.fsl" 
;;; Load Successful: 19 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\infer.fsl". Result of last form read 
;;; was #<STANDARD-METHOD DEDUCE-WITH-IDENTITY (T 
;;; CLAUSE-CLASS T ...) #x3FFD6C>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\choose.fsl" 
;;; Load Successful: 30 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\choose.fsl". Result of last form 
;;; read was CLAUSE-NUMBER. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\library.fsl" 
;;; Load Successful: 28 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\library.fsl". Result of last form read 
;;; was INT-STRING. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\exist.fsl" 
;;; Load Successful: 10 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\exist.fsl". Result of last form read 
;;; was P-EQUAL. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\en-strat.fsl" 
;;; Load Successful: 8 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\en-strat.fsl". Result of last form 
;;; read was DISPLAY-ANSWERS-2. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\order.fsl" 
;;; Load Successful: 19 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\order.fsl". Result of last form read 
;;; was ORIENT. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\input.fsl" 
;;; Load Successful: 13 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\input.fsl". Result of last form read 
;;; was COMPLETE-FILENAME. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\eval.fsl" 
;;; Load Successful: 73 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\eval.fsl". Result of last form read 
;;; was EVALUATE-BK. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\match.fsl" 
;;; Load Successful: 27 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\match.fsl". Result of last form read 
;;; was FIRST-P-MGU. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\weigths.fsl" 
;;; Load Successful: 13 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\weigths.fsl". Result of last form 
;;; read was #<STANDARD-METHOD 
;;; POSITIVE-ATOMS-FIRST (CLAUSE-CLASS) #x402F84>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\tree-dvi.fsl" 
;;; Load Successful: 12 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\tree-dvi.fsl". Result of last form 
;;; read was PROOF-TREE. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\atp-brow.fsl" 
;;; Load Successful: 10 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\atp-brow.fsl". Result of last form 
;;; read was #<STANDARD-METHOD 
;;; BROWSER-SELECT-ITEM (ATP-BROWSER T T) 
;;; #x40F8A4>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\atp-par.fsl" 
;;; Load Successful: 3 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\atp-par.fsl". Result of last form 
;;; read was SET-ATP-PARAM. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\atp-init.fsl" 
;;; Load Successful: 57 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\atp-init.fsl". Result of last form 
;;; read was PROOF-LENGTH. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d1.fsl" 
;;; Load Successful: 3 forms read from 
;;; #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d1.fsl". Result of last 
;;; form read was MAIN-DEMO-1. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d2.fsl" 
;;; Load Successful: 3 forms read from 
;;; #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d2.fsl". Result of last 
;;; form read was MAIN-DEMO-2. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d3.fsl" 
;;; Load Successful: 3 forms read from 
;;; #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d3.fsl". Result of last 
;;; form read was MAIN-DEMO-3. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d4.fsl" 
;;; Load Successful: 3 forms read from 
;;; #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d4.fsl". Result of last 
;;; form read was MAIN-DEMO-4. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d5.fsl" 
;;; Load Successful: 3 forms read from 
;;; #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d5.fsl". Result of last 
;;; form read was MAIN-DEMO-5. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d6.fsl" 
;;; Load Successful: 3 forms read from 
;;; #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d6.fsl". Result of last 
;;; form read was MAIN-DEMO-6. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\afterinp.fsl" 
;;; Load Successful: 2 forms read from 
;;; #P"C:\\PAIL\\atp\\fasl\\afterinp.fsl". Result of last form 
;;; read was TERM. 
;;; Load Successful: 41 forms read from 
;;; #P"C:\\PAIL\\atp\\atp-load.lsp". Result of last form read 
;;; was T. 
;;; ERROR: File C:\PAIL\atp\ does not exist 
> 
PAIL-OPEN
> 
;;; ERROR: File C:\PAIL\atp\*.* does not exist 
> 
PAIL-OPEN
> 
PAIL-OPEN
> (:open)
;;; ERROR: Function :OPEN called with incorrect number of 
;;; arguments in #<function 0 #x404020> 
> (:open t)
NIL
> (cg::pop-up-open-file-dialog t)
;;; ERROR: Function POP-UP-OPEN-FILE-DIALOG called 
;;; with incorrect number of arguments in #<function 0 
;;; #x40774C> 
> 
T
> 
> 
> 
;;; ERROR: Function POP-UP-OPEN-FILE-DIALOG called 
;;; with incorrect number of arguments in #<function 0 
;;; #x408830> 
> (pop-up-open-file-dialog *lisp-main-window* nil
;;; ERROR: Function POP-UP-OPEN-FILE-DIALOG called 
;;; with incorrect number of arguments in #<function 0 
;;; #x409960> 
> fzxg
;;; ERROR: Unbound variable FZXG in EVAL 
> (pop-up-open-file-dialog *lisp-main-window* nil "PP" "KK" "*.lsp" *pail-directory*)
NIL
> 
#P"C:\\PAIL\\pl-load.lsp"
> 
PAIL-OPEN
> (describe ':open)

:OPEN is a SYMBOL:
Package:           #<package KEYWORD #x14E67C>
Accessibility:    :EXTERNAL
Value:                 :OPEN
Special Variable ?:NIL
Constant ?:       T
Function:           #<STANDARD-GENERIC-FUNCTION OPEN 1 #x2AC430>
Macro ?:             NIL
Special form ?:NIL
Setf-able ?:       NIL
Plist:                    NIL
> (describe 'edit-file)

EDIT-FILE is a SYMBOL:
Package:           #<package ATP #x38D608>
Accessibility:    :INTERNAL
Value:                 unbound
Special Variable ?:NIL
Constant ?:       NIL
Function:           no global function definition
Macro ?:             NIL
Special form ?:NIL
Setf-able ?:       NIL
Plist:                    NIL
> (describe 'te::edit-file)

TE:EDIT-FILE is a SYMBOL:
Package:           #<package TEXT-EDIT #x151178>
Accessibility:    :EXTERNAL
Value:                 unbound
Special Variable ?:NIL
Constant ?:       NIL
Function:           #<function 1 #x2DB6B8>
Macro ?:             NIL
Special form ?:NIL
Setf-able ?:       NIL
Plist:                    NIL
> (:open *lisp-main-window*)
NIL
> (open *atp-main-window*)
NIL
> (:open pp)
;;; ERROR: Unbound variable PP in #<function 0 #x43899C> 
> (:open 'pp)
NIL
> (open 'pp)
CL:NIL
> (open *atp-main-window*)
;;; ERROR: #<ATP-MAIN-DIALOG ATP Main #x3FB0D4> cannot be turned into a pathname 
> 
NIL
> 
;;; ERROR: #<ATP-MAIN-DIALOG ATP Main #x3FB040> cannot be turned into a pathname 
> (open 'pp)
;;; ERROR: PP cannot be turned into a pathname 
> (keyword::open 'pp)
NIL
> (:open 'pp)
NIL
> 
NIL
> (keyword::close *lisp-main-window*)
>  (keyword::close *lisp-main-window*)
> (setq pp 
;;; ERROR: Compilation error: SETQ malformed: (SETQ PP) 
> (te::load-file (setq pp (open-stream 'text-edit-window *lisp-main-window* :io)) nil)
T
> (:modified-p pp)
NIL
> 
T
> 
> 
#<package PAIL-LIB #x389E60>
> 
T
> 
#<STANDARD-CLASS PAIL-EDIT-WINDOW #x41E24C>
> 
#<STANDARD-METHOD PAIL-OPEN (T) #x41FAC0>
> 
ATP-OPEN
> 
;;; Loading from #P"C:\\PAIL\\pl-load.lsp" 
;;; Loading from #P"C:\\PAIL\\toplevel\\fasl\\pl-lib.fsl" 
;;; Load Successful: 25 forms read from #P"C:\\PAIL\\toplevel\\fasl\\pl-lib.fsl". Result of last form read was 
;;; SELECT-ITEM-FROM-LIST. 
;;; Loading from #P"C:\\PAIL\\demo\\fasl\\pl-demo.fsl" 
;;; Load Successful: 18 forms read from #P"C:\\PAIL\\demo\\fasl\\pl-demo.fsl". Result of last form read was 
;;; DEMO-LOOP. 
;;; Loading from #P"C:\\PAIL\\toplevel\\fasl\\pl-dispt.fsl" 
;;; Load Successful: 29 forms read from #P"C:\\PAIL\\toplevel\\fasl\\pl-dispt.fsl". Result of last form read was 
;;; *CSP-MODULE-LOADED*. 
;;; Loading from #P"C:\\PAIL\\toplevel\\fasl\\pl-init.fsl" 
;;; Load Successful: 33 forms read from #P"C:\\PAIL\\toplevel\\fasl\\pl-init.fsl". Result of last form read was 
;;; MAKE-AVAILABLE. 
;;; Loading from #P"C:\\PAIL\\toplevel\\fasl\\pl-lib.fsl" 
;;; Load Successful: 25 forms read from #P"C:\\PAIL\\toplevel\\fasl\\pl-lib.fsl". Result of last form read was 
;;; SELECT-ITEM-FROM-LIST. 
;;; Load Successful: 27 forms read from #P"C:\\PAIL\\pl-load.lsp". Result of last form read was #<MESSAGE About PAIL 
;;; #x4310D4>. 
T
> 
;;; Loading from #P"C:\\PAIL\\PAIL-LIB\\pl-edit.lsp" 
;;; Load Successful: 5 forms read from #P"C:\\PAIL\\PAIL-LIB\\pl-edit.lsp". Result of last form read was PAIL-SAVE. 
T
> 
;;; Loading from #P"C:\\PAIL\\atp\\atp-load.lsp" 
;;; Loading from #P"C:\\PAIL\\pail-lib\\fasl\\trees.fsl" 
;;; Load Successful: 17 forms read from #P"C:\\PAIL\\pail-lib\\fasl\\trees.fsl". Result of last form read was 
;;; #<STANDARD-METHOD LABEL (TREE) #x41ECCC>. 
;;; Loading from #P"C:\\PAIL\\pail-lib\\fasl\\browser.fsl" 
;;; Load Successful: 44 forms read from #P"C:\\PAIL\\pail-lib\\fasl\\browser.fsl". Result of last form read was 
;;; #<STANDARD-METHOD WINDOW-UPDATE-CURSOR (BROWSER T) #x4211C4>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\atp-clas.fsl" 
;;; Load Successful: 10 forms read from #P"C:\\PAIL\\atp\\fasl\\atp-clas.fsl". Result of last form read was 
;;; FORMAT-DISPLAY. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\params.fsl" 
;;; Load Successful: 29 forms read from #P"C:\\PAIL\\atp\\fasl\\params.fsl". Result of last form read was -SYM-TABLE. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\prolog.fsl" 
;;; Load Successful: 7 forms read from #P"C:\\PAIL\\atp\\fasl\\prolog.fsl". Result of last form read was 
;;; PROLOG-PROMPT. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\prol-int.fsl" 
;;; Load Successful: 6 forms read from #P"C:\\PAIL\\atp\\fasl\\prol-int.fsl". Result of last form read was 
;;; PROLOG-INTERPRETER. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\len-adt.fsl" 
;;; Load Successful: 16 forms read from #P"C:\\PAIL\\atp\\fasl\\len-adt.fsl". Result of last form read was 
;;; #<STANDARD-CLASS STRATEGY #x3B0398>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\preproc.fsl" 
;;; Load Successful: 71 forms read from #P"C:\\PAIL\\atp\\fasl\\preproc.fsl". Result of last form read was 
;;; INIT-PROLOG-SETS. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\folpars.fsl" 
;;; Load Successful: 20 forms read from #P"C:\\PAIL\\atp\\fasl\\folpars.fsl". Result of last form read was IS-NOTSYM. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\folscan.fsl" 
;;; Load Successful: 35 forms read from #P"C:\\PAIL\\atp\\fasl\\folscan.fsl". Result of last form read was IS-A-NUMBER. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\prolpars.fsl" 
;;; Load Successful: 10 forms read from #P"C:\\PAIL\\atp\\fasl\\prolpars.fsl". Result of last form read was IS-CLIST. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\norm.fsl" 
;;; Load Successful: 15 forms read from #P"C:\\PAIL\\atp\\fasl\\norm.fsl". Result of last form read was 
;;; #<STANDARD-METHOD PROLOG-SEM-RED (CLAUSE-CLASS) #x42E85C>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\renvar.fsl" 
;;; Load Successful: 16 forms read from #P"C:\\PAIL\\atp\\fasl\\renvar.fsl". Result of last form read was INIT-OUT-VAR. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\class.fsl" 
;;; Load Successful: 9 forms read from #P"C:\\PAIL\\atp\\fasl\\class.fsl". Result of last form read was 
;;; #<STANDARD-METHOD SET-CLASS (CLAUSE-CLASS) #x43BB44>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\output.fsl" 
;;; Load Successful: 32 forms read from #P"C:\\PAIL\\atp\\fasl\\output.fsl". Result of last form read was 
;;; REMOVE-DOUBLE1. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\update-n.fsl" 
;;; Load Successful: 13 forms read from #P"C:\\PAIL\\atp\\fasl\\update-n.fsl". Result of last form read was 
;;; COMBINE-ANC. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\skolem.fsl" 
;;; Load Successful: 33 forms read from #P"C:\\PAIL\\atp\\fasl\\skolem.fsl". Result of last form read was 
;;; OUT-A-CLAUSE. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\semp.fsl" 
;;; Load Successful: 33 forms read from #P"C:\\PAIL\\atp\\fasl\\semp.fsl". Result of last form read was 
;;; EXTENDED-D-RED1. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\infer.fsl" 
;;; Load Successful: 19 forms read from #P"C:\\PAIL\\atp\\fasl\\infer.fsl". Result of last form read was 
;;; #<STANDARD-METHOD DEDUCE-WITH-IDENTITY (T CLAUSE-CLASS T ...) #x421F74>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\choose.fsl" 
;;; Load Successful: 30 forms read from #P"C:\\PAIL\\atp\\fasl\\choose.fsl". Result of last form read was 
;;; CLAUSE-NUMBER. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\library.fsl" 
;;; Load Successful: 28 forms read from #P"C:\\PAIL\\atp\\fasl\\library.fsl". Result of last form read was INT-STRING. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\exist.fsl" 
;;; Load Successful: 10 forms read from #P"C:\\PAIL\\atp\\fasl\\exist.fsl". Result of last form read was P-EQUAL. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\en-strat.fsl" 
;;; Load Successful: 8 forms read from #P"C:\\PAIL\\atp\\fasl\\en-strat.fsl". Result of last form read was 
;;; DISPLAY-ANSWERS-2. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\order.fsl" 
;;; Load Successful: 19 forms read from #P"C:\\PAIL\\atp\\fasl\\order.fsl". Result of last form read was ORIENT. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\input.fsl" 
;;; Load Successful: 13 forms read from #P"C:\\PAIL\\atp\\fasl\\input.fsl". Result of last form read was 
;;; COMPLETE-FILENAME. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\eval.fsl" 
;;; Load Successful: 73 forms read from #P"C:\\PAIL\\atp\\fasl\\eval.fsl". Result of last form read was EVALUATE-BK. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\match.fsl" 
;;; Load Successful: 27 forms read from #P"C:\\PAIL\\atp\\fasl\\match.fsl". Result of last form read was FIRST-P-MGU. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\weigths.fsl" 
;;; Load Successful: 13 forms read from #P"C:\\PAIL\\atp\\fasl\\weigths.fsl". Result of last form read was 
;;; #<STANDARD-METHOD POSITIVE-ATOMS-FIRST (CLAUSE-CLASS) #x41E244>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\tree-dvi.fsl" 
;;; Load Successful: 12 forms read from #P"C:\\PAIL\\atp\\fasl\\tree-dvi.fsl". Result of last form read was PROOF-TREE. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\atp-brow.fsl" 
;;; Load Successful: 10 forms read from #P"C:\\PAIL\\atp\\fasl\\atp-brow.fsl". Result of last form read was 
;;; #<STANDARD-METHOD BROWSER-SELECT-ITEM (ATP-BROWSER T T) #x42A09C>. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\atp-par.fsl" 
;;; Load Successful: 3 forms read from #P"C:\\PAIL\\atp\\fasl\\atp-par.fsl". Result of last form read was 
;;; SET-ATP-PARAM. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\atp-init.fsl" 
;;; Load Successful: 56 forms read from #P"C:\\PAIL\\atp\\fasl\\atp-init.fsl". Result of last form read was 
;;; PROOF-LENGTH. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d1.fsl" 
;;; Load Successful: 3 forms read from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d1.fsl". Result of last form read was 
;;; MAIN-DEMO-1. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d2.fsl" 
;;; Load Successful: 3 forms read from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d2.fsl". Result of last form read was 
;;; MAIN-DEMO-2. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d3.fsl" 
;;; Load Successful: 3 forms read from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d3.fsl". Result of last form read was 
;;; MAIN-DEMO-3. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d4.fsl" 
;;; Load Successful: 3 forms read from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d4.fsl". Result of last form read was 
;;; MAIN-DEMO-4. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d5.fsl" 
;;; Load Successful: 3 forms read from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d5.fsl". Result of last form read was 
;;; MAIN-DEMO-5. 
;;; Loading from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d6.fsl" 
;;; Load Successful: 3 forms read from #P"C:\\PAIL\\atp\\demos\\fasl\\atp-d6.fsl". Result of last form read was 
;;; MAIN-DEMO-6. 
;;; Loading from #P"C:\\PAIL\\atp\\fasl\\afterinp.fsl" 
;;; Load Successful: 2 forms read from #P"C:\\PAIL\\atp\\fasl\\afterinp.fsl". Result of last form read was TERM. 
;;; Load Successful: 41 forms read from #P"C:\\PAIL\\atp\\atp-load.lsp". Result of last form read was T. 
> 