Skip to content

Latest commit

 

History

History
10 lines (6 loc) · 600 Bytes

README.md

File metadata and controls

10 lines (6 loc) · 600 Bytes

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:

Dr. Runka's lecture on Prolog unification

Lambda Prolog talk by Chalk author