©RillNews
new
show
ask
jobs
submit
login
λProlog: Logic programming in higher-order logic
lix.polytechnique.fr
131 points by
ux266478
4 days ago
|
35 comments
add comment