Hacker News Reader

Alternatively, you could just use Shen, which actually uses Prolog to implement its type system.

Ya but for some reason Shen uses weird sequent calculus syntax. I'd much rather write Prolog rules than sequents.

Is the license for Shen still odd? I know Tarver doesn't believe in free software.

There is this page suggesting it's mostly BSD, but the License link is a 404: http://shenlanguage.org/ethics.html