Bratko's Prolog Programming for AI in miniKanren
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src/bratko_logos
test/bratko_logos/test
.gitignore
project.clj
readme.textile

readme.textile

Bratko Logos

As I develop the Logos project I’ll be playing around with various examples from Bratko’s excellent text on Prolog here.

Running The Examples

Make sure you have Lein or Cake installed. You will need to clone the Logos project and install the Logos project to your local Maven repo. Then clone this repo and proceed as usual.

Copyright © 2010 David Nolen

Distributed under the Eclipse Public License, the same as Clojure.