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