/prolog-in-haskell

CS440 assignment to make a unification problem parser and solver

Primary LanguageHaskellMIT LicenseMIT

prolog-in-haskell

CS440 assignment to make a unification problem parser and solver