L lix.polytechnique.fr λProlog: Logic programming in higher-order logic 167 points ux266478 8 months ago 39 comments
