api
blog
github
login / sign up
ClojureDocs
(beta)
Clojure Contrib
Namespaces
clojure.contrib
accumulators
agent-utils
apply-macro
base64
classpath
combinatorics
command-line
complex-numbers
cond
condition
core
dataflow
datalog
database
literals
magic
rules
softstrat
util
def
duck-streams
error-kit
except
fcase
find-namespaces
fnmap
PersistentFnMap
gen-html-docs
generic
arithmetic
collection
comparison
functor
math-functions
graph
greatest-least
http
agent
connection
import-static
io
jar
java-utils
javadoc
browse
browse-ui
jmx
Bean
json
lazy-seqs
lazy-xml
logging
macro-utils
macros
map-utils
math
miglayout
internal
mmap
mock
test-adapter
monadic-io-streams
monads
ns-utils
pprint
column-writer
pretty-writer
utilities
probabilities
finite-distributions
monte-carlo
random-numbers
profile
properties
prxml
reflect
repl-ln
repl-utils
seq
seq-utils
server-socket
set
shell
shell-out
singleton
sql
internal
str-utils
str-utils2
stream-utils
string
strint
swing-utils
test-is
trace
types
with-ns
zip-filter
xml
1.2.0
1.2.0 permalink
Vars in clojure.contrib.datalog.rules
+
<-
?-
a
all-predicates
apply-rule
apply-rules-set
b
build-rule
c
compute-sip
d
datalog-rule
display-query
display-rule
e
empty-bindings
empty-rules-set
i
is-safe?
m
make-rules-set
n
non-base-rules
p
predicate-map
r
return-rule-data
rules-set