571
#hash(((form ((lib "datalog/main.rkt") ?)) . ((405 . 2))) ((def ((lib "datalog/main.rkt") write-theory)) . ((67 . 3))) ((form ((lib "datalog/main.rkt") datalog!)) . ((246 . 5))) ((def ((lib "datalog/main.rkt") read-theory)) . ((124 . 2))) ((form ((lib "datalog/main.rkt") datalog)) . ((162 . 5))) ((def ((lib "datalog/main.rkt") make-theory)) . ((29 . 2))) ((form ((lib "datalog/main.rkt") :-)) . ((369 . 2))) ((def ((lib "datalog/main.rkt") theory/c)) . ((0 . 2))) ((form ((lib "datalog/main.rkt") ~)) . ((350 . 2))) ((form ((lib "datalog/main.rkt") !)) . ((331 . 2))))
value
theory/c : contract?
procedure
(make-theory) -> theory/c
procedure
(write-theory t) -> void
  t : theory/c
procedure
(read-theory) -> theory/c
syntax
(datalog thy-expr
         stmt ...)
 
  thy-expr : theory/c
syntax
(datalog! thy-expr
         stmt ...)
 
  thy-expr : theory/c
syntax
(! clause)
syntax
(~ clause)
syntax
(:- literal question ...)
syntax
(? question)
