λProlog: Logic programming in higher-order logic

134 points

by ux266478

3 days ago

35 comments