GitHub repository: lodgeit-labs/FOL_solvers
Primary language: Prolog
Description: Research into logic programming and knowledge representation