;;; -*- Mode: Lisp; Package: User; Base: 10. -*-
;;; (C) Copyright 1983,1984,1985, Uppsala University


#-CommonLisp
(progn 'compile

(package-declare pglobal global 256)

(package-declare prolog pglobal 1028 ()
		 (myrefname global prolog))

(package-declare puser pglobal 1028 ()
		 (myrefname global puser))
)

#+COMMONLISP
(PROGN 'COMPILE

(defpackage PGLOBAL
  (:size 256)
  (:use global))

(defpackage PROLOG
  (:size 1028)
  (:use pglobal global))

(defpackage PUSER
  (:size 1028)
  (:use pglobal global)))


(mapc 'globalize				;Using strings here loses if a symbol is already
      'PROLOG:(					;in the GLOBAL package.
	       REPEAT
	       METER
	       ASSERT
	       DEFINE-PREDICATE
	       ASSUME
	       RETRACT
	       RETRACT-ALL
	       LISP-VALUE
	       LISP-COMMAND
	       LISP-PREDICATE
	       MAKE-TRUE
	       CIRCULARITY-MODE
	       DELAYED-VALUE-MODE
	       SAME
	       ;call
	       CAN-PROVE
	       CANNOT-PROVE
	       PROVE-ONCE
	       NOT-= ;;is not in the manual but is used in too many files...
	       FAIL
	       ;false
	       ;true
	       ;comment
	       CASES
	       RULES
	       EITHER
	       CUT
	       VARIABLES
	       GROUND
	       VARIABLE
	       NOT-VARIABLE
	       IDENTICAL
	       NOT-IDENTICAL
	       ATOMIC
	       NUMBER
	       FINITE
	       INFINITE
	       ;symbol
	       LISP-TYPE
	       SUM
	       PRODUCT
	       ;difference
	       ;quotient
	       ;map
	       REST
	       ;read
	       ;print
	       ;tyi
	       ;tyo
	       ;format
	       GLOBAL-READ
	       OPEN-FILE
	       Y-OR-N
	       ;load
	       ;compile
	       COMPILE-FILE
	       ;break
	       ;append
	       ;reverse
	       ;length
	       ;nth 
	       SUBSTITUTE
	       ;member
	       ;remove
	       ;DELETE
	       ;intersection
	       ;union
	       ;sort
	       ALL-WORLDS
	       UNIVERSE
	       ADD-WORLD
	       REMOVE-WORLD
	       DESTROY-WORLD
	       SAVE-WORLD
	       WITH
	       WITHOUT-WORLD
	       WITH-WORLD
	       PREDICATOR
	       DEFINED-IN-WORLD
	       PRINT-DEFINITION
	       DEFINITION
	       REMOVE-DEFINITION
	       CLAUSE
	       CLAUSES
	       BAG-OF
	       SET-OF
	       LAZY-BAG-OF
	       LAZY-SET-OF
	       GENERATE-NAME
	       GENERATE-SYMBOL
	       TIME-AND-PRINT
	       ;time
	       ;error
	       ;untrace
	       UNTRACE-QUERY
	       ;step
	       WHO-STATE
	       DEFFUN
	       DEFFSUBST
	       DEMOS
	       OPTION
	       ;;the following are for the compatibility package
	       QUANTIFIED-BAG-OF
	       QUANTIFIED-SET-OF
	       ASSERTA
	       ASSERTZ
	       ;exploden
	       COMPARE
	       STANDARD-ORDER
	       ;;the following are used in demos
	       ASK-ABOUT
	       GRAPHICS-DEMOS-STREAM
	       GRAPHICS
	       )
      (circular-list ':PGLOBAL))