GitHub repository: Erdwolf/prolog
Primary language: Haskell
Description: A prolog interpreter written in Haskell.