GitHub repository: markwright/teyjus
Primary language: C
Description: An efficient implementation of the higher-order logic programming language Lambda Prolog