Renaming schelog to logic and racketing

collects/logic/info.rkt

@@ -0,0 +1,4 @@
+#lang setup/infotab
+
+(define scribblings
+  '(("logic.scrbl" (multi-page) (tool))))

collects/logic/main.rkt

@@ -0,0 +1,3 @@
+#lang racket
+(require "logic.rkt")
+(provide (all-from-out "logic.rkt"))

collects/meta/props

@@ -1772,8 +1772,8 @@ path/s is either such a string or a list of them.
 "collects/reader" responsible (mflatt)
 "collects/rnrs" responsible (mflatt)
 "collects/s-exp" responsible (mflatt eli)
-"collects/schelog" responsible (jay)
-"collects/tests/schelog" responsible (jay)
+"collects/logic" responsible (jay)
+"collects/tests/logic" responsible (jay)
 "collects/scheme" responsible (mflatt sstrickl samth robby eli)
 "collects/scribble" responsible (mflatt eli)
 "collects/scribblings" responsible (mflatt eli robby mathias)

collects/schelog/info.rkt

@@ -1,4 +0,0 @@
-#lang setup/infotab
-
-(define scribblings
-  '(("schelog.scrbl" (multi-page) (tool))))

collects/schelog/main.rkt

@@ -1,3 +0,0 @@
-#lang racket
-(require "schelog.rkt")
-(provide (all-from-out "schelog.rkt"))

collects/tests/logic/bible.rkt

@@ -1,6 +1,6 @@
 #lang racket
 
-(require schelog
+(require logic
          schemeunit)
 
 ;The following is the "Biblical" database from "The Art of

collects/tests/logic/england.rkt

@@ -1,6 +1,6 @@
 #lang racket
 
-(require schelog
+(require logic
          schemeunit)
 
 ;The following is a simple database about a certain family in England.

collects/tests/logic/england2.rkt

@@ -1,6 +1,6 @@
 #lang racket
 
-(require schelog)
+(require logic)
 
 ;The following is a simple database about a certain family in England.
 ;Should be a piece of cake, but given here so that you can hone

collects/tests/logic/fac.rkt

@@ -1,5 +1,5 @@
 #lang racket
-(require schelog tests/eli-tester)
+(require logic tests/eli-tester)
 
 (define %factorial
   (%rel (x y x1 y1)

collects/tests/logic/games.rkt

@@ -1,6 +1,6 @@
 #lang racket
 
-(require schelog
+(require logic
          "./puzzle.rkt"
          schemeunit)
 

collects/tests/logic/holland.rkt

@@ -1,6 +1,6 @@
 #lang racket
 
-(require schelog
+(require logic
          tests/eli-tester)
 
 ;This is a very trivial program.  In Prolog, it would be:

collects/tests/logic/houses.rkt

@@ -1,6 +1,6 @@
 #lang racket
 
-(require schelog)
+(require logic)
 
 ;Exercise 14.1 (iv) from Sterling & Shapiro, p. 217-8  
 

collects/tests/logic/mapcol.rkt

@@ -1,12 +1,12 @@
 #lang racket
 
-(require (except-in schelog %member))
+(require (except-in logic %member))
 
 ;map coloring, example from Sterling & Shapiro, p. 212
 
 ;(%member x y) holds if x is in y
 
-;; is this different from the %member provided by schelog? fencing that one out.
+;; is this different from the %member provided by logic? fencing that one out.
 
 (define %member
   (%rel (X Xs Y Ys)

collects/tests/logic/puzzle.rkt

@@ -1,6 +1,6 @@
 #lang racket
 
-(require schelog)
+(require logic)
 
 (provide (all-defined-out))
 

collects/tests/logic/toys.rkt

@@ -1,9 +1,9 @@
 #lang racket
 
-(require (except-in schelog %append))
+(require (except-in logic %append))
 
 ;A list of trivial programs in Prolog, just so you can get used
-;to schelog syntax.
+;to logic syntax.
 
 ;(%length l n) holds if length(l) = n
 

collects/tests/logic/unit.rkt

@@ -1,5 +1,5 @@
 #lang racket
-(require schelog
+(require logic
          tests/eli-tester)
 
 (test