GitHub repository: p3rsephone/SRCR
Primary language: Prolog
Description: Assignment for Knowledge Representation and Reasoning