4 ms·Strongly typed logic programming embedding in Haskell (NASA research)5 points by ivanperez-keera 2y ago