Y
HN HRCB new | past | comments | ask | show | jobs | articles | domains | dashboard | seldon | network | factions | velocity | about hrcb
home / user / ux266478
1 stories
ux266478 HN profile →
Stories 1 (1 evaluated) Avg HRCB +0.30
Avg SETL +0.10 Avg Conf 18%
Avg Editorial +0.24 Avg Structural +0.19
1.
HRCB +0.30 18%
SETL +0.10
ΛProlog: Logic programming in higher-order logic (www.lix.polytechnique.fr)
150 points by ux266478 4 days ago | 36 comments | hrcb
About HRCB | By Right | HN Guidelines | HN FAQ | Source | UDHR | RSS
build 359ddd7+1rs2 · 2026-02-25 03:53 UTC