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