GitHub repository: tpmmthomas/ABC_FOL
Primary language: Prolog
Description: MSc thesis