FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation
-
Updated
Dec 18, 2017 - Prolog
FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation
Defunctionalization of monotone logic program safety problems
ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types
Add a description, image, and links to the constrained-horn-clauses topic page so that developers can more easily learn about it.
To associate your repository with the constrained-horn-clauses topic, visit your repo's landing page and select "manage topics."