λProlog: Logic programming in higher-order logic

λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)

138 points

byux266478

4 days ago |