Giters

dvtate / prolog-in-haskell

CS440 assignment to make a unification problem parser and solver

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

prolog-in-haskell

CS440 assignment to make a unification problem parser and solver

About

CS440 assignment to make a unification problem parser and solver

License:MIT License

Languages

Language:Haskell 100.0%