GitHub repository: msg-bq/toy-prolog
Description: toy-prolog is an exercise in pure C