interpolant

There are 0 repository under interpolant topic.

• caballa / ftclp

  FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation

  verificationconstrained-horn-clausesinterpolantclp
  Language:Prolog 2