My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Project Information
Members

Simple logic programming implemented with pattern matching and unification in the spirit of SICP. Implemented in Haskell.

Powered by Google Project Hosting