ΛProlog: Logic programming in higher-order logic

(lix.polytechnique.fr) by ux266478 | Feb 20, 2026 | 0 comments on HN