λProlog: Logic programming in higher-order logic
https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/loading story #47138352
loading story #47136926
loading story #47137011
loading story #47136880
loading story #47136321
loading story #47136569