GitHub repository: sav-tools/ftclp
Primary language: Prolog
Description: FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation