ΛProlog: Logic programming in higher-order logic

(lix.polytechnique.fr)

2 points | by ux266478 13 hours ago ago

No comments yet.