diff --git a/collects/datalog/main.rkt b/collects/datalog/main.rkt
index 3d4186d..1876c57 100644
--- a/collects/datalog/main.rkt
+++ b/collects/datalog/main.rkt
@@ -1,13 +1,11 @@
 #lang racket
 (require "ast.rkt"
          "parse.rkt"
-         "sexp.rkt"
          "pretty.rkt"
          "runtime.rkt"
          "eval.rkt")
 (provide (all-from-out "ast.rkt"
                        "parse.rkt"
-                       "sexp.rkt"
                        "pretty.rkt"
                        "runtime.rkt"
                        "eval.rkt"))
\ No newline at end of file
diff --git a/collects/datalog/scribblings/racket.scrbl b/collects/datalog/scribblings/racket.scrbl
index 2ade2a8..484bdd6 100644
--- a/collects/datalog/scribblings/racket.scrbl
+++ b/collects/datalog/scribblings/racket.scrbl
@@ -10,7 +10,7 @@
 
 @title{Racket Interoperability}
 
-@defmodule[datalog]
+@defmodule[datalog/main]
 
 The Datalog database can be directly used by Racket programs through this API.
 
@@ -253,39 +253,6 @@ This library provides facilities for parsing Datalog source. It can be required
      "path(X, Y)?")))]
 }
                    
-@section{Parenthetical Datalog Parsing}
-
-This package recognizes an alternative, Scheme-like front-end syntax for Datalog. It can be required via:
-
-@defmodule[datalog/sexp]
-
-@defproc[(stx->term [stx syntax?])
-         term/c]{
- Parses @racket[stx] as a @tech{term}.
-}
-@defproc[(stx->literal [stx syntax?])
-         literal?]{
- Parses @racket[stx] as a @racket[literal].
-}
-@defproc[(stx->clause [stx syntax?])
-         clause?]{
- Parses @racket[stx] as a @racket[clause].
-}
-@defproc[(stx->statement [stx syntax?])
-         statement/c]{
- Parses @racket[stx] as a @tech{statement}.
-}
-@defproc[(stx->program [stx syntax?])
-         program/c]{
- Parses @racket[stx] as a @tech{program}.
-}
-                
-@defproc[(sexp->term [sexp sexpr?]) term/c]{@racket[stx->term] composed with @racket[datum->syntax].}
-@defproc[(sexp->literal [sexp sexpr?]) literal?]{@racket[stx->literal] composed with @racket[datum->syntax].}
-@defproc[(sexp->clause [sexp sexpr?]) clause?]{@racket[stx->clause] composed with @racket[datum->syntax].}
-@defproc[(sexp->statement [sexp sexpr?]) statement/c]{@racket[stx->statement] composed with @racket[datum->syntax].}
-@defproc[(sexp->program [sexp sexpr?]) program/c]{@racket[stx->program] composed with @racket[datum->syntax].}
-
 @section{Pretty-Printing}
 
 This library provides facilities for pretty-printing Datalog source. It can be required via:
diff --git a/collects/tests/datalog/main.rkt b/collects/tests/datalog/main.rkt
index 7398630..2f5b15b 100644
--- a/collects/tests/datalog/main.rkt
+++ b/collects/tests/datalog/main.rkt
@@ -5,8 +5,7 @@
          
          "private/lex.rkt"
          "tool/syntax-color.rkt"
-         "parse.rkt"
-         "sexp.rkt"
+         "parse.rkt"         
          
          "pretty.rkt"
          
@@ -26,8 +25,7 @@
   
   lex-tests
   syntax-color-tests
-  parse-tests
-  sexp-tests
+  parse-tests  
   
   pretty-tests