HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
ux266478
λProlog: Logic programming in higher-order logic
167 points
ux266478
2026-02-20T23:02:08Z
www.lix.polytechnique.fr