Names changed, looks like everything builds except the files in dialects/

collects/schelog/dialects/dialects-supported.scm

@@ -1,4 +1,6 @@
-;last change: 2003-06-01
+#lang racket
+
+#|;last change: 2003-06-01
 
 bigloo
 gambit
@@ -14,3 +16,4 @@ scsh
 stk
 sxm
 umbscheme
+|#

collects/schelog/dialects/files-to-be-ported.scm

@@ -1 +1,4 @@
-schelog.scm
+#lang racket
+
+#|schelog.scm
+|#

collects/schelog/examples/bible.rkt

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

collects/schelog/examples/england.rkt

@@ -1,3 +1,8 @@
+#lang racket
+
+(require "../schelog.rkt"
+         schemeunit)
+
 ;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
 ;your ability to read the syntax.
@@ -6,47 +11,47 @@
 ;The file england2.scm uses a Scheme-like syntax.
 
 (define %male
-  (%rel ()
+  (%rel ! ()
     (('philip)) (('charles)) (('andrew)) (('edward))
     (('mark)) (('william)) (('harry)) (('peter))))
 
 (define %female
-  (%rel ()
+  (%rel ! ()
     (('elizabeth)) (('anne)) (('diana)) (('sarah)) (('zara))))
 
 (define %husband-of
-  (%rel ()
+  (%rel ! ()
     (('philip 'elizabeth)) (('charles 'diana))
     (('mark 'anne)) (('andrew 'sarah))))
 
 (define %wife-of
-  (%rel (w h)
+  (%rel ! (w h)
     ((w h) (%husband-of h w))))
 
 (define %married-to
-  (%rel (x y)
+  (%rel ! (x y)
     ((x y) (%husband-of x y))
     ((x y) (%wife-of x y))))
 
 (define %father-of
-  (%rel ()
+  (%rel ! ()
    (('philip 'charles)) (('philip 'anne)) (('philip 'andrew))
    (('philip 'edward)) (('charles 'william)) (('charles 'harry))
    (('mark 'peter)) (('mark 'zara))))
 
 (define %mother-of
-  (%rel (m c f)
+  (%rel ! (m c f)
     ((m c) (%wife-of m f) (%father-of f c))))
 
 (define %child-of
-  (%rel (c p)
+  (%rel ! (c p)
     ((c p) (%father-of p c))
     ((c p) (%mother-of p c))))
 
 (define %parent-of
-  (%rel (p c)
+  (%rel ! (p c)
     ((p c) (%child-of c p))))
 
 (define %brother-of
-  (%rel (b x f)
+  (%rel ! (b x f)
     ((b x) (%male b) (%father-of f b) (%father-of f x) (%/= b x))))

collects/schelog/examples/england2.rkt

@@ -1,3 +1,7 @@
+#lang racket
+
+(require "../schelog.rkt")
+
 ;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
 ;your ability to read the syntax.

collects/schelog/examples/games.rkt

@@ -1,6 +1,8 @@
 #lang scheme
 
-(require "../schelog.scm" "./puzzle.scm")
+(require "../schelog.rkt" 
+         "./puzzle.rkt"
+         schemeunit)
 
 ;;This example is from Sterling & Shapiro, p. 214.
 ;;
@@ -85,3 +87,6 @@
 ;;ask (solve-puzzle %games) to get the solution, which is
 ;;
 ;;((michael is the australian) (richard plays tennis))
+
+(check-equal? (solve-puzzle %games)
+              '((solution= ((michael is the australian) (richard plays tennis)))))

collects/schelog/examples/holland.rkt

@@ -1,3 +1,7 @@
+#lang racket
+
+(require "../schelog.rkt")
+
 ;This is a very trivial program.  In Prolog, it would be:
 ;
 ;    city(amsterdam).

collects/schelog/examples/houses.rkt

@@ -1,3 +1,7 @@
+#lang racket
+
+(require "../schelog.rkt")
+
 ;Exercise 14.1 (iv) from Sterling & Shapiro, p. 217-8  
 
 ;There are 5 houses, each of a different color and inhabited
@@ -25,25 +29,25 @@
   (lambda (hue nation pet drink cigarette)
     (list 'house hue nation pet drink cigarette)))
 
-(define %hue (%rel (h) (((house h (_) (_) (_) (_)) h))))
-(define %nation (%rel (n) (((house (_) n (_) (_) (_)) n))))
-(define %pet (%rel (p) (((house (_) (_) p (_) (_)) p))))
-(define %drink (%rel (d) (((house (_) (_) (_) d (_)) d))))
-(define %cigarette (%rel (c) (((house (_) (_) (_) (_) c) c))))
+(define %hue (%rel ! (h) (((house h (_) (_) (_) (_)) h))))
+(define %nation (%rel ! (n) (((house (_) n (_) (_) (_)) n))))
+(define %pet (%rel ! (p) (((house (_) (_) p (_) (_)) p))))
+(define %drink (%rel ! (d) (((house (_) (_) (_) d (_)) d))))
+(define %cigarette (%rel ! (c) (((house (_) (_) (_) (_) c) c))))
 
 (define %adjacent
-  (%rel (a b)
+  (%rel ! (a b)
     ((a b (list a b (_) (_) (_))))
     ((a b (list (_) a b (_) (_))))
     ((a b (list (_) (_) a b (_))))
     ((a b (list (_) (_) (_) a b)))))
 
 (define %middle
-  (%rel (a)
+  (%rel ! (a)
     ((a (list (_) (_) a (_) (_))))))
 
 (define %houses
-  (%rel (row-of-houses clues queries solution
+  (%rel ! (row-of-houses clues queries solution
 	 h1 h2 h3 h4 h5 n1 n2 n3 n4 n5 p1 p2 p3 p4 p5
 	 d1 d2 d3 d4 d5 c1 c2 c3 c4 c5)
     ((clues queries solution)
@@ -58,7 +62,7 @@
      (%houses-queries row-of-houses queries solution))))
 
 (define %houses-clues
-  (%rel (row-of-houses abode1 abode2 abode3 abode4 abode5 abode6 abode7
+  (%rel ! (row-of-houses abode1 abode2 abode3 abode4 abode5 abode6 abode7
 	 abode8 abode9 abode10 abode11 abode12 abode13 abode14 abode15)
     ((row-of-houses
        (list
@@ -122,7 +126,7 @@
 	 (%hue abode15 'blue))))))
 
 (define %houses-queries
-  (%rel (row-of-houses abode1 abode2 zebra-owner water-drinker)
+  (%rel ! (row-of-houses abode1 abode2 zebra-owner water-drinker)
     ((row-of-houses
        (list
 	 (%member abode1 row-of-houses)

collects/schelog/examples/mapcol.rkt

@@ -1,23 +1,29 @@
+#lang racket
+
+(require (except-in "../schelog.rkt" %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.
+
 (define %member
-  (%rel (X Xs Y Ys)
+  (%rel ! (X Xs Y Ys)
     ((X (cons X Xs)))
     ((X (cons Y Ys)) (%member X Ys))))
 
 ;(%members x y) holds if x is a subset of y
 
 (define %members
-  (%rel (X Xs Ys)
+  (%rel ! (X Xs Ys)
     (((cons X Xs) Ys) (%member X Ys) (%members Xs Ys))
     (('() Ys))))
 
 ;(%select x y z) holds if z is y with one less occurrence of x
 
 (define %select
-  (%rel (X Xs Y Ys Zs)
+  (%rel ! (X Xs Y Ys Zs)
     ((X (cons X Xs) Xs))
     ((X (cons Y Ys) (cons Y Zs))
      (%select X Ys Zs))))
@@ -29,26 +35,26 @@
     (list 'region name color neighbors)))
 
 (define %color-map
-  (%rel (Region Regions Colors)
+  (%rel ! (Region Regions Colors)
     (((cons Region Regions) Colors)
      (%color-region Region Colors) (%color-map Regions Colors))
     (('() Colors))))
 
 (define %color-region
-  (%rel (Name Color Neighbors Colors Colors1)
+  (%rel ! (Name Color Neighbors Colors Colors1)
     (((region Name Color Neighbors) Colors)
      (%select Color Colors Colors1)
      (%members Neighbors Colors1))))
 
 (define %test-color
-  (%rel (Name Map Colors)
+  (%rel ! (Name Map Colors)
     ((Name Map)
      (%map Name Map)
      (%colors Colors)
      (%color-map Map Colors))))
 
 (define %map
-  (%rel (A B C D E F G H I L P S)
+  (%rel ! (A B C D E F G H I L P S)
     (('test (list
 	      (region 'a A (list B C D))
 	      (region 'b B (list A C E))
@@ -70,7 +76,7 @@
 	 (region 'austria A (list I S G)))))))
 
 (define %colors
-  (%rel ()
+  (%rel ! ()
     (('(red yellow blue white)))))
 
 ;ask (%which (M) (%test-color 'test M)) or

collects/schelog/examples/puzzle.rkt

@@ -1,6 +1,6 @@
 #lang scheme
 
-(require "../schelog.scm")
+(require "../schelog.rkt")
 
 (provide (all-defined-out))
 

collects/schelog/examples/toys.rkt

@@ -1,17 +1,21 @@
+#lang racket
+
+(require (except-in "../schelog.rkt" %append))
+
 ;A list of trivial programs in Prolog, just so you can get used
 ;to schelog syntax.
 
 ;(%length l n) holds if length(l) = n
 
 (define %length
-  (%rel (h t n m)
+  (%rel !  (h t n m)
     (('() 0))
     (((cons h t) n) (%length t m) (%is n (+ m 1)))))
 
 ;(%delete x y z) holds if z is y with all x's removed
 
 (define %delete
-  (%rel (x y z w)
+  (%rel !  (x y z w)
     ((x '() '()))
     ((x (cons x w) y) (%delete x w y))
     ((x (cons z w) (cons z y)) (%not (%= x z)) (%delete x w y))))
@@ -19,7 +23,7 @@
 ;(%remdup x y) holds if y is x without duplicates
 
 (define %remdup
-  (%rel (x y z w)
+  (%rel !  (x y z w)
     (('() '()))
     (((cons x y) (cons x z)) (%delete x y w) (%remdup w z))))
 
@@ -27,31 +31,31 @@
 ;counting duplicates
 
 '(define %count
-  (%rel (x n y)
+  (%rel !  (x n y)
     ((x n) (%remdup x y) (%length y n))))
 
 ;same thing
 
 (define %count
   (letrec ((countaux
-	     (%rel (m n m+1 x y z)
+	     (%rel !  (m n m+1 x y z)
 	       (('() m m))
 	       (((cons x y) m n)
 		(%delete x y z) (%is m+1 (+ m 1)) (countaux z m+1 n)))))
-    (%rel (x n)
+    (%rel !  (x n)
       ((x n) (countaux x 0 n)))))
 
 ;(%append x y z) holds if z is the concatenation of x and y
 
 (define %append
-  (%rel (x y z w)
+  (%rel !  (x y z w)
     (('() x x))
     (((cons x y) z (cons x w)) (%append y z w))))
 
 ;(%reverse x y) holds if the y is the reversal of x
 
 '(define %reverse
-  (%rel (x y z yy)
+  (%rel !  (x y z yy)
     (('() '()))
     (((cons x y) z) (%reverse y yy) (%append yy (list x) z))))
 
@@ -59,16 +63,16 @@
 
 (define %reverse
   (letrec ((revaux
-	     (%rel (x y z w)
+	     (%rel !  (x y z w)
 	       (('() y y))
 	       (((cons x y) z w) (revaux y (cons x z) w)))))
-    (%rel (x y)
+    (%rel !  (x y)
       ((x y) (revaux x '() y)))))
 
 ;(%fact n m) holds if m = n!
 
 '(define %fact
-  (%rel (n n! n-1 n-1!)
+  (%rel !  (n n! n-1 n-1!)
     ((0 1))
     ((n n!) (%is n-1 (- n 1)) (%fact n-1 n-1!) (%is n! (* n n-1!)))))
 
@@ -76,9 +80,9 @@
 
 (define %fact
   (letrec ((factaux
-	     (%rel (n! m x m-1 xx)
+	     (%rel !  (n! m x m-1 xx)
 	       ((0 n! n!))
 	       ((m x n!) (%is m-1 (- m 1)) (%is xx (* x m))
 		(factaux m-1 xx n!)))))
-    (%rel (n n!)
+    (%rel !  (n n!)
       ((n n!) (factaux n 1 n!)))))

collects/schelog/info.ss

@@ -0,0 +1,2 @@
+#lang setup/infotab
+