Simple, pure, and total functional language that generalizes Datalog


New top story on Hacker News: Simple, pure, and total functional language that generalizes Datalog