Hacker News new | ask | show | jobs
by UncleMeat 1871 days ago
Datalog would be the closest I can think of. A bunch of static analysis engines are implemented in it.