GitHub repository: trealla-prolog/trealla
Primary language: C
Description: A compact, efficient Prolog interpreter written in plain-old C.