Hacker News new | ask | show | jobs
by timonoko 26 days ago
We need infinity-Prolog, which already knows all known facts. Feeding them separately everytime feels lame.