Hacker Neus
λProlog: Logic programming in higher-order logic
(lix.polytechnique.fr)
134 points
by ux266478
4 days ago |
35 comments
