File [eris]<PrologCore>QP1.5>Sources>PROLOGBOOT2!1

(FILECREATED "30-Nov-85 21:23:42" {DSK}<LISPFILES2>PROLOGBOOT.;3 7592   

      changes to:  (VARS PROLOGBOOTCOMS)

      previous date: "30-Nov-85 21:23:08" {DSK}<LISPFILES2>PROLOGBOOT.;2)


(PRETTYCOMPRINT PROLOGBOOTCOMS)

(RPAQQ PROLOGBOOTCOMS ((SCCS)
	(* All and only what is needed to build a Xerox Quintus Prolog SYSOUT.)
	(INITVARS (QP.DEFAULT.LISP.OBJECT.HOST/DIR (CAR (TTYIN 
							 "Enter directory for Lisp object code: "
							       NIL NIL (QUOTE (NORAISE)))))
		  (QP.DEFAULT.PROLOG.OBJECT.HOST/DIR (CAR (TTYIN 
						       "Enter directory for Prolog object code: "
								 NIL NIL (QUOTE (NORAISE)))))
		  (ATOM.SMASHER.ANTIDOTE.FILE (CAR (TTYIN 
			       "Enter full PATH and NAME of file to hold atom-smasher antidote: "
							  NIL NIL (QUOTE (NORAISE))))))
	(FILES (FROM VALUEOF LISPUSERSDIRECTORIES)
	       TEDIT TEXEC)
	(COMS *
	      (LET ((FLIST (QUOTE (OPCODES PUTIL FASTPROLOG UTIL BASIC VALUES LOAD PROCS PRIM CODE 
					   CELL TAGS BIND REGISTERS SELECT IO CHARTYPE INSTRS GC 
					   ASSERT ENV INTERPRET INDEX AMEM CALL CUT FAIL PUTWRITE 
					   GETREAD META LISP ARITH APROPOS SKEL ERROR FINDARITY 
					   FINDDEFN FINDPRED FORMAT LINK INTERRUPTS LOGO2 NUKE SECURE 
					   SECURITY SETUPMENU STATISTICS TELLEDITOR TEXECFIXES 
					   TOPLEVEL)))
		    (DNGLIST (QUOTE (arith.dng clauses.dng compare.dng curpred.dng debug.dng 
					       display.dng emacs.dng error.dng errortab.dng 
					       findef.dng format.dng global.dng grammar.dng help.dng 
					       interpret.dng io.dng listing.dng loadcode.dng 
					       manual.dng modules.dng open.dng operators.dng 
					       pathname.dng pprint.dng prims.dng procs.dng 
					       qc1assemble.dng qc1asxerox.dng qc1aux.dng 
					       qc1clause.dng read.dng setof.dng srcfile.dng 
					       style-check.dng state.dng statistics.dng tokens.dng 
					       tokvar.dng toplevel.dng transform.dng trap.dng 
					       user.dng version-number.dng write.dng xerox.dng 
					       xprims.dng))))
		   (BQUOTE ((FILES (FROM VALUEOF QP.DEFAULT.LISP.OBJECT.HOST/DIR)
				   ,@ FLIST)
			    (P (QP.INITIALIZE.PROLOG)
			       (RESETLST (RESETSAVE (/CNDIR QP.DEFAULT.PROLOG.OBJECT.HOST/DIR)
						    (BQUOTE (/CNDIR (\, (DIRECTORYNAME T T)))))
					 ,@
					 (for DNG in DNGLIST collect (BQUOTE (QP.RECONSULT
									       (QUOTE , DNG)))))
			       (SETQ LOADEDFILELST (for F in LOADEDFILELST collect F unless
							(FMEMB (FILENAMEFIELD F (QUOTE NAME))
							       (QUOTE , (CONS (QUOTE PROLOGBOOT)
									      FLIST)))))
			       (SETQ FILELST (for F in FILELST collect F unless
						  (FMEMB (FILENAMEFIELD F (QUOTE NAME))
							 (QUOTE , (CONS (QUOTE PROLOGBOOT)
									FLIST)))))
			       (SETQ QP.stop NIL)
			       (QP.SMASH.ATOMS ATOM.SMASHER.ANTIDOTE.FILE (QUOTE , FLIST)
					       (QUOTE (QP.DEFAULT.LISP.OBJECT.HOST/DIR 
								QP.DEFAULT.PROLOG.OBJECT.HOST/DIR 
								       ATOM.SMASHER.ANTIDOTE.FILE 
										PROLOG.PUFN.TABLE 
										    \GCSCANPROLOG)))))
			   )))))
(* %%G%  %%W% )



(* All and only what is needed to build a Xerox Quintus Prolog SYSOUT.)


(RPAQ? QP.DEFAULT.LISP.OBJECT.HOST/DIR (CAR (TTYIN "Enter directory for Lisp object code: " NIL NIL
						     (QUOTE (NORAISE)))))

(RPAQ? QP.DEFAULT.PROLOG.OBJECT.HOST/DIR (CAR (TTYIN "Enter directory for Prolog object code: " NIL 
						       NIL (QUOTE (NORAISE)))))

(RPAQ? ATOM.SMASHER.ANTIDOTE.FILE (CAR (TTYIN 
			       "Enter full PATH and NAME of file to hold atom-smasher antidote: "
						NIL NIL (QUOTE (NORAISE)))))
(FILESLOAD (FROM VALUEOF LISPUSERSDIRECTORIES)
	   TEDIT TEXEC)
(FILESLOAD (FROM VALUEOF QP.DEFAULT.LISP.OBJECT.HOST/DIR)
	   OPCODES PUTIL FASTPROLOG UTIL BASIC VALUES LOAD PROCS PRIM CODE CELL TAGS BIND REGISTERS 
	   SELECT IO CHARTYPE INSTRS GC ASSERT ENV INTERPRET INDEX AMEM CALL CUT FAIL PUTWRITE 
	   GETREAD META LISP ARITH APROPOS SKEL ERROR FINDARITY FINDDEFN FINDPRED FORMAT LINK 
	   INTERRUPTS LOGO2 NUKE SECURE SECURITY SETUPMENU STATISTICS TELLEDITOR TEXECFIXES TOPLEVEL)
(QP.INITIALIZE.PROLOG)
(RESETLST (RESETSAVE (/CNDIR QP.DEFAULT.PROLOG.OBJECT.HOST/DIR)
		     (BQUOTE (/CNDIR (\, (DIRECTORYNAME T T)))))
	  (QP.RECONSULT (QUOTE arith.dng))
	  (QP.RECONSULT (QUOTE clauses.dng))
	  (QP.RECONSULT (QUOTE compare.dng))
	  (QP.RECONSULT (QUOTE curpred.dng))
	  (QP.RECONSULT (QUOTE debug.dng))
	  (QP.RECONSULT (QUOTE display.dng))
	  (QP.RECONSULT (QUOTE emacs.dng))
	  (QP.RECONSULT (QUOTE error.dng))
	  (QP.RECONSULT (QUOTE errortab.dng))
	  (QP.RECONSULT (QUOTE findef.dng))
	  (QP.RECONSULT (QUOTE format.dng))
	  (QP.RECONSULT (QUOTE global.dng))
	  (QP.RECONSULT (QUOTE grammar.dng))
	  (QP.RECONSULT (QUOTE help.dng))
	  (QP.RECONSULT (QUOTE interpret.dng))
	  (QP.RECONSULT (QUOTE io.dng))
	  (QP.RECONSULT (QUOTE listing.dng))
	  (QP.RECONSULT (QUOTE loadcode.dng))
	  (QP.RECONSULT (QUOTE manual.dng))
	  (QP.RECONSULT (QUOTE modules.dng))
	  (QP.RECONSULT (QUOTE open.dng))
	  (QP.RECONSULT (QUOTE operators.dng))
	  (QP.RECONSULT (QUOTE pathname.dng))
	  (QP.RECONSULT (QUOTE pprint.dng))
	  (QP.RECONSULT (QUOTE prims.dng))
	  (QP.RECONSULT (QUOTE procs.dng))
	  (QP.RECONSULT (QUOTE qc1assemble.dng))
	  (QP.RECONSULT (QUOTE qc1asxerox.dng))
	  (QP.RECONSULT (QUOTE qc1aux.dng))
	  (QP.RECONSULT (QUOTE qc1clause.dng))
	  (QP.RECONSULT (QUOTE read.dng))
	  (QP.RECONSULT (QUOTE setof.dng))
	  (QP.RECONSULT (QUOTE srcfile.dng))
	  (QP.RECONSULT (QUOTE style-check.dng))
	  (QP.RECONSULT (QUOTE state.dng))
	  (QP.RECONSULT (QUOTE statistics.dng))
	  (QP.RECONSULT (QUOTE tokens.dng))
	  (QP.RECONSULT (QUOTE tokvar.dng))
	  (QP.RECONSULT (QUOTE toplevel.dng))
	  (QP.RECONSULT (QUOTE transform.dng))
	  (QP.RECONSULT (QUOTE trap.dng))
	  (QP.RECONSULT (QUOTE user.dng))
	  (QP.RECONSULT (QUOTE version-number.dng))
	  (QP.RECONSULT (QUOTE write.dng))
	  (QP.RECONSULT (QUOTE xerox.dng))
	  (QP.RECONSULT (QUOTE xprims.dng)))
(SETQ LOADEDFILELST
      (for F in LOADEDFILELST collect F unless
	   (FMEMB (FILENAMEFIELD F (QUOTE NAME))
		  (QUOTE (PROLOGBOOT OPCODES PUTIL FASTPROLOG UTIL BASIC VALUES LOAD PROCS PRIM CODE 
				     CELL TAGS BIND REGISTERS SELECT IO CHARTYPE INSTRS GC ASSERT ENV 
				     INTERPRET INDEX AMEM CALL CUT FAIL PUTWRITE GETREAD META LISP 
				     ARITH APROPOS SKEL ERROR FINDARITY FINDDEFN FINDPRED FORMAT LINK 
				     INTERRUPTS LOGO2 NUKE SECURE SECURITY SETUPMENU STATISTICS 
				     TELLEDITOR TEXECFIXES TOPLEVEL)))))
(SETQ FILELST
      (for F in FILELST collect F unless
	   (FMEMB (FILENAMEFIELD F (QUOTE NAME))
		  (QUOTE (PROLOGBOOT OPCODES PUTIL FASTPROLOG UTIL BASIC VALUES LOAD PROCS PRIM CODE 
				     CELL TAGS BIND REGISTERS SELECT IO CHARTYPE INSTRS GC ASSERT ENV 
				     INTERPRET INDEX AMEM CALL CUT FAIL PUTWRITE GETREAD META LISP 
				     ARITH APROPOS SKEL ERROR FINDARITY FINDDEFN FINDPRED FORMAT LINK 
				     INTERRUPTS LOGO2 NUKE SECURE SECURITY SETUPMENU STATISTICS 
				     TELLEDITOR TEXECFIXES TOPLEVEL)))))
(SETQ QP.stop NIL)
(*(QP.SMASH.ATOMS ATOM.SMASHER.ANTIDOTE.FILE
		(QUOTE (OPCODES PUTIL FASTPROLOG UTIL BASIC VALUES LOAD PROCS PRIM CODE CELL TAGS 
				BIND REGISTERS SELECT IO CHARTYPE INSTRS GC ASSERT ENV INTERPRET 
				INDEX AMEM CALL CUT FAIL PUTWRITE GETREAD META LISP ARITH APROPOS 
				SKEL ERROR FINDARITY FINDDEFN FINDPRED FORMAT LINK INTERRUPTS LOGO2 
				NUKE SECURE SECURITY SETUPMENU STATISTICS TELLEDITOR TEXECFIXES 
				TOPLEVEL))
		(QUOTE (QP.DEFAULT.LISP.OBJECT.HOST/DIR QP.DEFAULT.PROLOG.OBJECT.HOST/DIR 
							ATOM.SMASHER.ANTIDOTE.FILE PROLOG.PUFN.TABLE 
							\GCSCANPROLOG))))
(DECLARE: DONTCOPY
  (FILEMAP (NIL)))
STOP