A lightweight, embeddable Prolog interpreter written in C11 | Dark Hacker News