ux266478 Karma 483 Created 6 months ago Recent Submissions 1. ▲ λProlog: Logic programming in higher-order logic (lix.polytechnique.fr) 167 points · 19 days ago · 39 comments All submissions on HN · View profile on HN