Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Exploration of bootstrapping logical programming with clojure

branch: master

Fetching latest commit…

Octocat-spinner-32-eaf2f5

Cannot retrieve the latest commit at this time

Octocat-spinner-32 docs
Octocat-spinner-32 src
Octocat-spinner-32 README
Octocat-spinner-32 project.clj
README
# monkey-and-banana

This project contains some variations on the classic [Monkey and Banana
problem](http://en.wikipedia.org/wiki/Monkey_and_banana_problem). I
have based my solution on the text and sample provided on pg 46 of
Ivan Bratko's *PROLOG Programming for Artifical Intelligence*. This
project is meant to accompany a blog post. Each variation of the
program transitions further from the raw functional solution toward a
logical one.

If you have not attempted to solve this problem in your language of
choice, I would recommend doing so.

## Usage

load the various modules up in your repl and explore them. If you just
want to read the code, check the documentation produced by marginalia
in `docs/`.

## See Also

 * David Nolen has a [solution implemented](https://github.com/swannodette/bratko-logos/blob/master/src/bratko_logos/monkey_banana.clj) in his [miniKanren implementation](https://github.com/swannodette/logos/).

## License

Copyright (C) 2011 Andrew Brehaut.

Distributed under the Eclipse Public License, the same as Clojure.
Something went wrong with that request. Please try again.