narjure

0.1.0-SNAPSHOT


A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.

dependencies

org.clojure/clojure
1.8.0
org.clojure/core.logic
0.8.10
instaparse
1.4.1
com.rpl/specter
0.9.1
org.clojure/tools.nrepl
0.2.12
org.clojure/data.priority-map
0.0.7
org.clojure/core.match
0.3.0-alpha4
org.clojure/core.unify
0.5.5



(this space intentionally left almost blank)

namespaces

 
Generated by Marginalia.  Syntax highlighting provided by Alex Gorbatchev's SyntaxHighlighter