Alkemet News
λProlog: Logic programming in higher-order logic
(lix.polytechnique.fr)
138
points
byux266478
4 days ago |
35
comments
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date