HN Explorer

ux266478

↗ HN profile [ 75.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Swish – Jupyter-like computational notebook for SWI-Prolog (swish.swi-prolog.org)
    10 points 0
  2. λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)
    167 points 19