A lightweight, embeddable Prolog interpreter written in C11
github.com