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