λProlog: Logic programming in higher-order logiclix.polytechnique.fr
131 points by ux266478 4 days ago | 35 comments