17 λProlog: Logic programming in higher-order logic (polytechnique.fr) 7 hours ago ux266478 polytechnique.fr