A lightweight, embeddable Prolog interpreter written in C11 | Heykuki News