Hacker News new | ask | show | jobs
Strongly typed logic programming embedding in Haskell (NASA research) (old.reddit.com)
5 points by ivanperez-keera 657 days ago