GitHub repository: paulodt/krr
Primary language: Common Lisp
Description: Knowledge Representation and Reasoning