λProlog: Logic programming in higher-order logic

[ux266478]

Article URL: https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/

Comments URL: https://news.ycombinator.com/item?id=47095266

Points: 120

# Comments: 31