GitHub repository: vinicius-f/krr
Primary language: Common Lisp
Description: Knowledge Representation and Reasoning