Hacker News new | ask | show | jobs
by rscho 705 days ago
MiniKanren, being purely relational, is a subset of Prolog.