λProlog: Logic programming in higher-order logic

📅 2026-02-20    ⚓ Hacker News    🌐 Source    🖼️ Load Image