/swish/pack/sCASP/prolog/scasp/clp/clpq.pl
All Application Manual Name SummaryHelp

  • scasp
    • clp
      • call_stack.pl -- Call stack constraint solver
      • disequality.pl -- Constraint solver for disequalities
      • clpq.pl -- Extension of the constraint solver CLP(Q)
        • is_clpq_var/1
 is_clpq_var(@Term) is semidet
True when Term is a clpq attributed variable.