GitHub repository: mclumd/alma-2.0
Primary language: C
Description: Improved Active Logic inference engine