logic It looks like I managed to get a working Haskell installation. YAY! Trying to implement a resolution-based First-Order theorem prover or something similar, who knows!