λProlog: Logic programming in higher-order logic

by ux266478 | View on Hacker News