GitHub repository: naoshi-higuchi/logpro
Primary language: Java
Description: Logic programing library.