A compact, efficient Prolog interpreter written in plain-old C (Wasm experimental fork). - View it on GitHub