Cuter Prolog A tiny and easily embeddable implementation of prolog as a library, for any platform. A theorem prover theorem prover implementing Hereditary Harrop Formula lambda-prolog is in progress. Resources:
