GitHub repository: ltettoni/logic2j
Primary language: Java
Description: A library to bring declarative & logic programming to your Java software