A simple graph reasoner written in Clojure.
Failed to load latest commit information.
src Made a query on the Socrates syllogism to test for correctness. Feb 24, 2010
test/clj_reasoner First commit Feb 22, 2010
.gitignore First commit Feb 22, 2010
README Wrote description Feb 22, 2010
project.clj First commit Feb 22, 2010


# clj-reasoner

A simple graph reasoner writtern in Clojure.

Nodes in the graph are strings.
Edges are labeled with strings.

A query is a graph pattern.  When applied to a graph, it returns the subgraphs that matches the pattern.

Warning: This is something I did in a weekend.  It needs to be cleaned up.

## Usage

FIXME: write

## Installation

FIXME: write

## License

FIXME: write