Looks similar
Optimizing Datalog for the GPU(dl.acm.org)
61 points by tosh | 3 comments
The Birth of Prolog (1996)(dl.acm.org)
103 points by Jtsummers | 13 comments
Programmable Property-Based Testing(dl.acm.org)
15 points by matt_d | 1 comments
61 points by tosh | 3 comments
103 points by Jtsummers | 13 comments
15 points by matt_d | 1 comments