λProlog: Logic programming in higher-order logic | Hacker News

λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)

136 points by ux266478 4 days ago | 35 comments

Loading...